عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 1998
QA
76
.
9
.
A96
1998
کتابخانه
محل استقرار
IR
6974
انگلیسی
IR
Automated deduction-a basis for applications
[Book]
/ edited by Wolfgang Bibel and Peter H.Schmitt
Dordrecht
: Kluwer academic pub
, 1998.
2vols.
:ill
(Applied logic series)
Language: انگلیسی
Print
Includes bibliographical references
Logic,Symbolic and mathematical
Automatic theorem proving
QA
76
.
9
.
A96
1998
Bibel, Wolfgang
Schmitt, Peter H
ایران
QA 76.9 .A96 1998
old catalog
p
BL
1
a
Y
