Interactive Theorem Proving
Subtitle: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
By: edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Contributors: Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6898
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642228629; 9783642228636
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence