PAAR-2014: Volume Information

PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning

Papers

Keyphrases

ATP Competitions, automated reasoning, automated theorem proving³, automated theorem proving process, Beagle, constraints, de Bruijn, Description Logics, discrimination tree, EPR, equational logic, first-order logic, formal mathematics, geometric logic, HOL4, instance-based theorem proving, large theories, machine learning, model-based theorem proving, model finding², polymorphism, prime implicates, Provenance, Quantifier Instantiation, semantic guidance, substitution, superposition, superposition calculus, term representation, theorem proving, TPTP, TPTP Process Instruction language, unification.