عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 .F68 1996
QA
76
.
9
.
A96
.
F68
1996
کتابخانه
محل استقرار
114061
زمستان۶۷
English
)20(
Fitting, Melvin
1942-
First-order logic and automated theorem proving
New York
Springer
1996
xvi, 326 p.: ill.; 25 cm
Graduate texts in computer science
Includes bibliographical references and index
2nd ed
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
9
.
A96
.
F68
1996
AU
Melvin Fitting
TI
SE Graduate texts in computer science )Springer-Verlag New York Inc.(
02
