Search Results
Showing 31 - 40 of 482 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Automated reasoning with analytic tableaux and related methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T33 2000 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Theorem proving with analytic tableaux and related methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T33 1996 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)