Login / Signup
On the Automatizability of Resolution and Related Propositional Proof Systems
Albert Atserias
Maria Luisa Bonet
Published in:
Electron. Colloquium Comput. Complex. (2002)
Keyphrases
</>
computer systems
theorem proving
database
real time
neural network
computer vision
case study
expert systems
distributed systems
learning systems
automatic theorem proving