Bibliografie

Ergebnisse für "Matt Kaufmann/Lawrence C Paulson"

Ähnliche Suchbegriffe:

1 - 1 von 1
Zur Detailsuche

Ergebnisse

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