Login / Signup

First-Order Formulas in Conjunctive Quantificational Form.

Hans Kleine BüningTheodor Lettmann
Published in: Math. Log. Q. (1988)
Keyphrases
  • higher order
  • first order logic
  • databases
  • propositional logic
  • quantifier elimination
  • quantifier free
  • inductive logic programming systems
  • data sets
  • search engine
  • genetic algorithm
  • data model