عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96F528 1990
QA
76
.
9
.
A96F528
1990
کتابخانه
محل استقرار
First-order logic and automated theorem proving
Berlin
Springer-Verlag
c1990
xiii, 242p.: ill
Texts and monographs in computer science
Includes bibliographies
ISBN: 3540972331
Melvin Fitting
1
، Automatic theorem proving
، Logic, Symbolic and mathematical
QA
76
.
9
.
A96F528
1990
Fitting, Melvin, 2491-
AU
TI
SE
