Suchfeld einblenden
Person Ait-Mohamed, Otmane
1 Treffer
Seite < 1 >
Theorem proving in higher order logics
: 21st international conference ; proceedings / TPHOLs 2008, Montreal, Canada, August 18 - 21, 2008. Otmane Ait Mohamed ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5170)
ISBN 978-3-540-71067-7
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
