Result 1 to 20 of 112 total
Milestones for automated reasoning with otter. (English)
Int. J. Artif. Intell. Tools 15, No. 1, 3-20 (2006).
1
Double-negation elimination in some propositional logics. (English)
Stud. Log. 80, No. 2-3, 195-234 (2005).
2
The flowering of automated reasoning. (English)
Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 204-227 (2005).
3
The flowering of automated reasoning (English)
Mechanizing Mathematical Reasoning, 204-227 (2005).
4
Double-negation elimination in some propositional logics. (English)
Comput. Res. Repos. 2003, Article No. 0301026 (2003).
5
XCB, the last of the shortest single axioms for the classical equivalential calculus. (English)
Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 3, 131-136 (2003).
6
The strategy of cramming. (English)
J. Autom. Reasoning 30, No.2, 179-204 (2003).
7
Automated reasoning and the discovery of missing and elegant proofs. (English)
Princeton, NJ: Rinton Press (ISBN 1-58949-023-1/hbk). xv, 372~p. \$~88.00 (2003).
8
XCB, the last of the shortest single axioms for the classical equivalential calculus. (English)
Comput. Res. Repos. 2002, Article No. 0211015 (2002).
9
Vanquishing the XCB question: The methodology discovery of the last shortest single axiom for the equivalential calculus. (English)
Comput. Res. Repos. 2002, Article No. 0211014 (2002).
10
A spectrum of applications of automated reasoning. (English)
Comput. Res. Repos. 2002, Article No. 0205078 (2002).
11
The automation of sound reasoning and successful proof finding. (English)
Jacquette, Dale (ed.), A companion to philosophical logic. Malden, MA: Blackwell Publishers (ISBN 0-631-21671-5/hbk). Blackwell Companions Philos. 22, 709-723 (2002).
12
Shortest axiomatizations of implicational S4 and S5. (English)
Notre Dame J. Formal Logic 43, No. 3, 169-179 (2002).
13
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus. (English)
J. Autom. Reasoning 29, No.2, 107-124 (2002).
14
Hilbert’s twenty-fourth problem. (English)
J. Autom. Reasoning 29, No.1, 67-89 (2002).
15
Short single axioms for Boolean algebra. (English)
J. Autom. Reasoning 29, No.1, 1-16 (2002).
16
Shortest axiomatizations of implicational S4 and S5 (English)
Notre Dame Journal of Formal Logic 43, No. 3, 169-179 (2002).
17
A concise axiomatization of $\text{RM}_\rightarrow$. (English)
Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 4, 191-194 (2001).
18
Hilbert’s new problem. (English)
Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 3, 165-175 (2001).
19
Finding missing proofs with automated reasoning. (English)
Stud. Log. 68, No.3, 329-356 (2001).
20
Result 1 to 20 of 112 total
Start
Contact
Print
General Help
