Symposium on Automatic Demonstration
| Main Author: | Laudet, M. (ed) |
|---|---|
| Call Number: | Ser QA3.L28.125 |
| Published: |
Lecture Notes in Mathematics, Vol. 125, Spinger-Verlag , Berlin 1970
|
| Location: | Addelman-Semple Resource Center |
| Format: | Book |
Not Available