Suchfeld einblenden
Person Boulton, Richard J.
1 Treffer
Seite < 1 >
Theorem proving in higher order logics
: 14th international conference ; proceedings / TPHOLs 2001, Edinburgh, Scotland UK, September 3 - 6, 2001. R. J. Boulton ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2152)
ISBN 978-3-540-44755-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
