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
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 30.06.2010
Umfang: xi, 495 S., 82 s/w Illustr., 495 p. 82 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642140518
Umbreit-Nr.: 2454489
