عنوان
پدید آورنده
موضوع
رده
QA76.9 .A96,F68 1990
QA76
.
9
.
A96
,
F68
1990
کتابخانه
محل استقرار
IR
3678en
فارسی
IR
First-order logic and automated theorem proving
[Book]
/ Melvin Fitting
New York
: Springer-Verlag
, c1990.
xiii,242p.
:ill.; 24cm
(Texts and monographs in computer science)
زبان: فارسی
Print
Bibliography:p.[233]-236
Includes index
Automatic theorem proving
Logic, Symbolic and mathematical
QA76
.
9
.
A96
,
F68
1990
Fitting, Melvin
ایران
Central Library of martyr Chamran
old catalog
p
BL
1
a
Y
