Login / Signup

Another look at automated theorem-proving II.

Neal Koblitz
Published in: J. Math. Cryptol. (2012)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • answer set programming
  • classical logic
  • computer vision
  • inference rules
  • machine learning
  • knowledge base
  • logic programming
  • first order logic