Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), Kauers, Manuel, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-73086-6