-
RecordNumber
53043
-
Author
Williams, J. G.
-
Title
Instantiation theory; on the foundations of automated deduction
-
Author Statement
J. G. Williams
-
Publication
Springer
-
Publication Year
[c1991]
-
Collation
viii, 133p
-
Series
Lecture notes in artificial intelligence; 518
-
Bibliography
Includes bibliographies
-
Subject
Logic, symbolic and mathematical
-
ADDED ENTRIES
^dSeries:Lecture notes in artificial intelligence; 518
-
Main Class
511
-
Sub Class
.3
-
Cutter no
W721i
-
وارد كنندة اطلاعات
fazel^d//
-
Link To Document :
