Search Results
Showing 51 - 60 of 248 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Automated theorem-proving in non-classical logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T48 1988 | ✔ Available |
 :/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)