History
1
112

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

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).
Classification: I.2.3
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). Reviewer: Nail Zamov (Kazan) 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). Classification: I.2.3 F.4.1 Reviewer: N.Zamov (Kazan) 14 Hilbert’s twenty-fourth problem. (English) J. Autom. Reasoning 29, No.1, 67-89 (2002). Classification: F.4.1 I.2.3 15 Short single axioms for Boolean algebra. (English) J. Autom. Reasoning 29, No.1, 1-16 (2002). Classification: I.2.3 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).
Reviewer: N.Zamov (Kazan)
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 112 total