Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Springer-Verlag
c1986
|
| Series: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
230 |
| Subjects: |
ΒΚΠ - Πατρα: ALFg
| Call Number: |
004 AUT |
|---|---|
| Copy 1 | Available |
