Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Submitted manuscript, 137 KB, PDF document
Original language | English |
---|---|
Title of host publication | Automated Deduction — CADE-15 |
Subtitle of host publication | 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings |
Publisher | Springer-Verlag GmbH |
Pages | 134-138 |
ISBN (Electronic) | 978-3-540-69110-5 |
ISBN (Print) | 978-3-540-64675-4 |
DOIs | |
Publication status | Published - 1998 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 1421 |
ISSN (Print) | 0302-9743 |
ID: 6328485