-
RecordNumber
2986
-
Author
Bibel, Wolfgang
-
Title
Automated theorem proving
-
Author Statement
Wolfgang Bibel
-
Edition
2d rev. ed
-
Publication
Frieder, Vieweg
-
Publication Year
[c1987]
-
Collation
xiv, 288p.: diagrs
-
Series
Artificlal intelligence, kunstlicha intelligenz
-
Bibliography
Bibligraphy: p. [265]-280
-
Subject
Automatic theorem proving
-
Main Class
006
-
Sub Class
.3
-
Cutter no
B581a
-
Date
1987
-
وارد كنندة اطلاعات
soltani^d// , alipour^d2003/11/08 12:23:54
-
Link To Document :
