che-chandler.de
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783642140525
Veröffentl:
2010
Einband:
PDF
Seiten:
495
Autor:
Matt Kaufmann
Serie:
Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch