## Handbook of Automated Reasoning, Volume 1Handbook of Automated Reasoning |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

algorithm applied Artificial Intelligence atomic automata Automated Reasoning automated theorem proving automaton axiom binary bisimulation calculus classical clause set complete Computer Science concept construction contains corresponding decision procedure default default logic defined definition denote derivation description logics disjunctive domain encoding equations equivalent example expressions extension first-order logic free variable higher-order higher-order logic higher-order unification implementation indexed terms induction intuitionistic intuitionistic logic knowledge base labelled language Lemma linear literals LNCS logic programming logical framework method minimal modal logic model checking natural deduction negation node nonmonotonic normal form occur operator p-strings path Pfenning predicate logic prefix problem Proc proof propositional quantifiers query term relation representation resolution restrictions retrieval role satisfiable semantics sequent sequent calculus skeleton Skolem Springer stable model sub-formulas substitution subsumption tableau techniques temporal logic theorem proving transition translation tree type theory unification unifier Voronkov X-calculus