Search Results
You searched for:
author_facet
International Conference on Automated Deduction
Remove constraint
Showing 1 - 10 of 29 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Automated deduction, CADE-19
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I57 2003 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)