Login / Signup

Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.

Alexander Leitsch
Published in: FTP (LNCS Selection) (1998)
Keyphrases
  • decision procedures
  • automated deduction
  • theorem proving
  • bayesian networks
  • relational databases
  • databases
  • artificial intelligence
  • lower bound