Sandrine Blazy, Christine Paulin-Mohring, David Pichardie Interactive Theorem Proving - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642396342 Subjects--Index Terms: Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Software Engineering; Systems and Data Security; Algorithm Analysis and Problem Complexity