Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Constraint programming / Logic programming / Rules of inference / Resolution / Boolean satisfiability problem / Clause / Small clause / Reasoning system / English relative clauses / Unit propagation


System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science
Add to Reading List

Document Date: 2008-10-30 19:06:51

Open Document

File Size: 121,85 KB

Share Result on Facebook
UPDATE