Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Submitted manuscript, 150 KB, PDF document
Original language | English |
---|---|
Title of host publication | Automated Deduction — CADE-16 |
Subtitle of host publication | 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings |
Publisher | Springer-Verlag GmbH |
Pages | 374-377 |
ISBN (Electronic) | 978-3-540-48660-2 |
ISBN (Print) | 978-3-540-66222-8 |
DOIs | |
Publication status | Published - 1999 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 1632 |
ISSN (Print) | 0302-9743 |
ID: 6321272