Title: Interactive Theorem Proving
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Automatic theorem proving, Programming Techniques, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)