PAAR-2014: Volume Information

Volume: | Stephan Schulz, Leonardo De Moura and Boris Konev (editors). PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning |

## Volume Information

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

Editors: | Stephan Schulz, Leonardo De Moura and Boris Konev |

Series: | EPiC Series in Computing |

Volume: | 31 |

Pages: | 119 |

Publication date: | 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 finding

^{2}, model-based theorem proving, polymorphism, prime implicates, Provenance, Quantifier Instantiation, semantic guidance, substitution, superposition, superposition calculus, term representation, theorem proving, TPTP, TPTP Process Instruction language, unification.