4573 search results - page 183 / 915 » Automated Reasoning |
98
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
89
Voted
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
118
Voted
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
131
Voted
AISC
2004
Springer
15 years 7 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...