Interactive Theorem Proving
Subtitle: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
By: edited by Matt Kaufmann, Lawrence C. Paulson
Contributors: Paulson, Lawrence C.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6172
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642140518; 9783642140525
Subjects: Logic design; Monoclonal antibodies; Software engineering; Computer science; Artificial intelligence