-
RecordNumber
62370
-
Title
Automation of reasoning
-
Editor
edited by Jorg Siekmann ¶ Graham Wrightson
-
Publication
Springer
-
Publication Year
[c1983]
-
Collation
2v.: ill, tables
-
Series
Symbolic computation
-
Bibliography
Includes bibliographies
-
Contents
v.1. Classical papers on computational logic 1957-1966.- v.2. Classical papers on computational logic 1967-1970
-
Subject
Logic Symbolic and mathematical
-
ADDED ENTRIES
Siekmann, Jorg, ed
-
Main Class
511
-
Sub Class
.3
-
Cutter no
A939
-
وارد كنندة اطلاعات
79.07^d// , alipour^d2003/11/11 12:57:35
-
Link To Document :
