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