Login / Signup

Deduction Graphs with Universal Quantification.

Herman GeuversIris Loeb
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • universal quantification
  • inference rules
  • databases
  • theorem proving
  • universally quantified