Search Results
Showing 31 - 40 of 59 results
Search Results
Enumerability, decidability, computability;an introduction to the theory of recursive functions
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .H413 | ✔ Available |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .H4 | ✔ Available |
Robot dynamics algorithms
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TJ211.4 .F43 1987 | ✔ Available |
Formal systems and recursive functions
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .L63 1963 | ✔ Available |
Recursive function theory and logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA248.5 .Y36 | ✔ Available |
Minimal degrees of unsolvability and the full approximation construction
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA3 .A57 NO. 162 | ✔ Available |