Original language | English |
---|---|
Publisher | Springer |
Volume | LNCS Vol. 4573 |
ISBN (Print) | 9783540730835 |
DOIs | |
Publication status | Published - 1 Jun 2007 |
Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007
M Kauers, Manfred Kerber, R Miner, W Windsteiger
Research output: Book/Report › Book