|
" Automated theorem proving "
Wolfgang Bibel.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
744281
|
| Doc. No
|
:
|
b564230
|
| Main Entry
|
:
|
Wolfgang Bibel.
|
| Title & Author
|
:
|
Automated theorem proving\ Wolfgang Bibel.
|
| Edition Statement
|
:
|
2., rev. ed
|
| Publication Statement
|
:
|
Braunschweig/Wiesbaden : Vieweg, 1987
|
| Series Statement
|
:
|
Künstliche Intelligenz (Braunschweig).
|
| Page. NO
|
:
|
xiv, 288 s.
|
| ISBN
|
:
|
3528185201
|
|
|
:
|
: 9783528185206
|
| Contents
|
:
|
I. Natural and formal logic.- II. The connection method in propositional logic.- III. The connection method in first-order logic.- IV. Variants and improvements.- V. Applications and extensions.- Mnemonics for use in references.- References.- List of Symbols.
|
| LC Classification
|
:
|
QA76.9.A96W654 1987
|
| Added Entry
|
:
|
Wolfgang Bibel
|
| |