Bibliografie

Ergebnisse für "paulson, lawrence c"

Ähnliche Suchbegriffe: benson, lawrence s, lawson, lawrence, lifson, lawrence e

1 - 3 von 3
Zur Detailsuche

Ergebnisse

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
Erschienen am 03.04.2002
€ 58,84
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
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
Erschienen am 30.06.2010
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Isabelle
A Generic Theorem Prover, Lecture Notes in Computer Science 828
Paulson, Lawrence C
Springer Verlag GmbH
Erschienen am 28.07.1994
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen