Suchfeld einblenden
Person Hurd, Joe
1 Treffer
Seite < 1 >
Theorem proving in higher order logics
: 18th international conference ; proceedings / TPHOLs 2005, Oxford, UK, August 22 - 25, 2005. Joe Hurd ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3603)
ISBN 978-3-540-31820-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >