Automated theorem proving
Conference: AI and Theorem Proving (AITP)
Systems
Literature
Books
- Robinson & Voronov, 2001: Handbook of Automated Reasoning
- Harrison, 2009: Handbook of Practical Logic and Automated Reasoning
Conference: AI and Theorem Proving (AITP)
Books