Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 138 KB, PDF document
Original language | English |
---|---|
Title of host publication | Towards Mechanized Mathematical Assistants |
Subtitle of host publication | 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings |
Publisher | Springer-Verlag GmbH |
Pages | 80-93 |
Volume | 4573 |
ISBN (Electronic) | 978-3-540-73086-6 |
ISBN (Print) | 978-3-540-73083-5 |
DOIs | |
Publication status | Published - 2007 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 4573 |
ISSN (Print) | 0302-9743 |
ID: 403603