Research output: Chapter in Book/Report/Conference proceeding › Chapter
Accepted author manuscript, 242 KB, PDF document
Original language | English |
---|---|
Title of host publication | Mechanizing Mathematical Reasoning |
Subtitle of host publication | Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday |
Publisher | Springer-Verlag GmbH |
Pages | 321-341 |
Volume | LNCS 2605 |
ISBN (Electronic) | 978-3-540-32254-2 |
ISBN (Print) | 978-3-540-25051-7 |
DOIs | |
Publication status | Published - 2005 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 2605 |
ISSN (Print) | 0302-9743 |
ID: 405499