Interactive Theorem Proving
Subtitle: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
By: edited by Lennart Beringer, Amy Felty
Contributors: Felty, Amy; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7406
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642323478
Subjects: Mathematical Logic and Formal Languages; Software engineering; Systems and Data Security; Data protection; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Artificial intelligence; Artificial Intelligence (incl. Robotics)