عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96,F68 1990
QA
76
.
9
.
A96
,
F68
1990
کتابخانه
محل استقرار
02BL0000000001746
انگلیسی
First-order logic and automated theorem proving
Melvin Fitting.
New York
Springer-Verlag
c1990
xiii, 242 p. : ill. ; 24 cm.
, 1746 , 2-1
Texts and monographs in computer science
Includes bibliographical references )p. ]233[-236( and index.
Automatic theorem proving
Logic, Symbolic and mathematical
QA
76
.
9
.
A96
,
F68
1990
Fitting, Melvin, 1942-
