Original language | English |
---|---|
Title of host publication | 5th Conference on Automated Deduction (CADE, Les Arcs, France, July 8-11, 1980) |
Editors | W. Bibel, R.A. Kowalski |
Place of Publication | Berlin |
Publisher | Springer |
Chapter | 15 |
Pages | 182-194 |
Number of pages | 13 |
ISBN (Electronic) | 978-3-540-38140-2 |
ISBN (Print) | 3-540-10009-1, 978-3-540-10009-6 |
DOIs | |
Publication status | Published - 1980 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 87 |
ISSN (Print) | 0302-9743 |