Search Results
You searched for:
author_facet
International Conference on Automated Deduction
Remove constraint
Showing 1 - 10 of 28 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
9th International Conference on Automated Deduction
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I57 1988 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Automated deduction, CADE-12
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.D337 I58 1994 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
8th International Conference on Automated Deduction
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I57 1986 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 C66 1984 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Automated deduction, CADE-11
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I57 1992 | ✔ Available |