Login / Signup

The CADE-15 ATP System Competition.

Geoff SutcliffeChristian B. Suttner
Published in: J. Autom. Reason. (1999)
Keyphrases
  • automated theorem proving
  • artificial intelligence
  • knowledge base
  • theorem prover
  • data mining
  • genetic algorithm
  • case study
  • relational databases
  • artificial neural networks
  • special case
  • answer set programming