Suchfeld einblenden
Person Bertot, Yves
2 Treffer
Seite < 1 >
Theorem proving in higher order logics
: 12th international conference ; proceedings / TPHOLs '99, Nice, France, September 1999. Y. Bertot ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1690)
ISBN 978-3-540-48256-7
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 12th international conference ; proceedings / TPHOLs '99, Nice, France, September 14 - 17, 1999. Yves Bertot ... (ed.). - Berlin : Springer, 1999. - VIII, 358 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1690)
ISBN 978-3-540-66463-5 / 3-540-66463-7 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Seite < 1 >
