Search Results
Showing 1 - 4 of 4 results
Search Results
/LC.GIF&client=easterncarolinaedu)
From semantics to computer science
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76 .F77 2009 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 1999 | ✔ Available |