Suchergebnisse für "Paulson, Lawrence C"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Paulson, Lawrence C" gefunden.
Katalogsuche
Isabelle
A Generic Theorem Prover, Lecture Notes in Computer Science 828
Paulson, Lawrence C
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Isabelle/HOL
A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science 2283
Nipkow, Tobias/Paulson, Lawrence C/Wenzel, Markus
Springer Verlag GmbH
64,19 €
(inklusive MwSt.)
Lieferbar
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14,2010, Proceedings, Lecture Notes in Computer Science 6172 - Theoretical Computer Science and General Issues
Matt Kaufmann/Lawrence C Paulson
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
