Suchfeld einblenden
Person Kauers, Manuel
1 Treffer
Seite < 1 >
Towards mechanized mathematical assistants
: proceedings / 14th symposium, Calculemus 2007 ; 6th international conference, MKM 2007, Hagenberg, Austria, June 27 - 30, 2007. Manuel Kauers ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4573 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73086-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
