-
RecordNumber
8606
-
Author
Leitsch, Alexander, 1952 -
-
Addition
,
-
Title
resolution calculus
-
Author Statement
Alexander Leitsch
-
Publication
Springer
-
Collation
viii, 300 p.:ill.;24 cm
-
Series
Texts in theoretical computer science
-
Subject
Automatic theorem proving.
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.A 96
-
LC Date
44,1997
-
تاريخ ورود اطلاعات
1391/09/18
-
ISBNN
,
-
Bibliography
Includes bibliographical references (p. [289]-293) and indexes
-
Published_Year
c1997
-
Link To Document :
