# PAAR-2014: Volume Information

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

11 articles•119 pages•Published: July 5, 2015

## Papers

## Keyphrases

ATP Competitions, automated reasoning, automated theorem proving^{3}, 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^{2}, polymorphism, prime implicates, Provenance, Quantifier Instantiation, semantic guidance, substitution, superposition, superposition calculus, term representation, theorem proving, TPTP, TPTP Process Instruction language, unification.