عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 W654 1987
QA76
.
9
.
A96
W654
1987
کتابخانه
محل استقرار
3528185201
9783528185206
b564230
Automated theorem proving
[Book]
Wolfgang Bibel.
2., rev. ed
Braunschweig/Wiesbaden
Vieweg
1987
xiv, 288 s.
Künstliche Intelligenz (Braunschweig).
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.
QA76
.
9
.
A96
W654
1987
Wolfgang Bibel.
Wolfgang Bibel
مطالعه متن کتاب [Book]
Y
