Automated Theorem Proving
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Vieweg+Teubner Verlag

9783528085209, 9783322901002

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The connection method in first-order logic

Automated Theorem Proving ◽

10.1007/978-3-322-90100-2_3 ◽

1982 ◽

pp. 57-118

Author(s):

Wolfgang Bibel

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Connection Method

Download Full-text

Natural and formal logic

Automated Theorem Proving ◽

10.1007/978-3-322-90100-2_1 ◽

1982 ◽

pp. 1-10 ◽

Cited By ~ 1

Author(s):

Wolfgang Bibel

Keyword(s):

Formal Logic

Download Full-text

Applications and extensions

Automated Theorem Proving ◽

10.1007/978-3-322-90100-2_5 ◽

1982 ◽

pp. 218-276

Author(s):

Wolfgang Bibel

Download Full-text

Variants and improvements

Automated Theorem Proving ◽

10.1007/978-3-322-90100-2_4 ◽

1982 ◽

pp. 119-217

Author(s):

Wolfgang Bibel

Download Full-text

The connection method in propositional logic

Automated Theorem Proving ◽

10.1007/978-3-322-90100-2_2 ◽

1982 ◽

pp. 11-56

Author(s):

Wolfgang Bibel

Keyword(s):

Propositional Logic ◽

Connection Method

Download Full-text