Details:
Title | Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings. | Author(s) | | Type | Book, Chapter in Book, Conference Proceeding | ISBN | 978-3-540-73083-5/pbk |
URL |
http://link.springer.com/book/10.1007%2F978-3-540-73086-6 |
Language | English | Pages | xiii 407 | Publisher | Berlin: Springer | Year | 2007 | Editor | Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger | Edition | 0 | Translation |
No | Refereed |
No |
|