Search Results
Showing 41 - 50 of 173 results
Search Results
Artificial intelligence and symbolic computation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | Q334 .A766 1998 | ✔ Available |
The logic of information structures
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76 .W235 1993 | ✔ Available |
A resolution principle for a logic with restricted quantifiers
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63.B8X 1991 | ✔ Available |