Login / Signup
The Completeness of Propositional Resolution: A Simple and Constructive Proof
Jean H. Gallier
Published in:
CoRR (2006)
Keyphrases
</>
real time
propositional logic
theorem prover
artificial intelligence
database systems
high resolution
first order logic