Title: Interactive Theorem Proving
Subjects: Logic design, Monoclonal antibodies, Software engineering, Computer science, Artificial intelligence, Computer logic, Congresses, Automatic theorem proving, Logic, symbolic and mathematical