-
RecordNumber
73275
-
Author
Newborn, Monroe
-
Title
Automated theorem proving : theory and practice
-
Author Statement
Monty Newborn
-
Publication
Springer
-
Publication Year
c2001
-
Collation
xiii, 231 p. : ill + 1 computer laser optical disc (4 3/4 in)
-
Bibliography
Includes bibliographical references
-
Subject
Automatic theorem proving
-
Main Class
004
-
Sub Class
.015113
-
Cutter no
N534a
-
وارد كنندة اطلاعات
samadi^d2004/05/22 10:52:04
-
Link To Document :
