Detailansicht
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
ISBN/EAN: 9783642140518
Umbreit-Nr.: 2454489
Sprache:
Englisch
Umfang: xi, 495 S., 82 s/w Illustr., 495 p. 82 illus.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 30.06.2010
Auflage: 1/2010