Search Results
Showing 1 - 7 of 7 results
Search Results
Computational aspects of an order-sorted logic with term declarations
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9.S343 1989 | ✔ Available |
Sorts and types in artificial intelligence
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | Q334.S632 1990 | ✔ Available |