Symbolic rewriting techniques
/ Manuel Bronstein ..., ed.. - Basel : Birkhäuser, 1998. - 288 S. : graph. Darst.; 24 cm - (Progress in computer science and applied logic; Vol. 15)
ISBN 978-3-7643-5901-0 / 3-7643-5901-3 Pp. : sfr 128.00
Literaturangaben
Quelle: DNB
Harrison, John: Theorem proving with the real numbers
/ John Harrison. - London : Springer, 1998. - XII, 186 S. : graph. Darst.; 24 cm - (Distinguished dissertations)
ISBN 978-3-540-76256-0 / 3-540-76256-6 Pp. : DM 139.00
Literaturverz. S. 169 - 183
Quelle: DNB
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
