RecordNumber
:
2288
LC Class
:
TA
LC Number
:
165
LC CutterNumber
:
.A98
LC Date
:
1983
Dewey Class
:
001
Dewey Number
:
.53
Dewey CutterNumber
:
/5 19
Title
:
Automation of reasoning
Author Statement
:
edited by Jorg Siekmann and Graham Wrightson
Publication
:
Springer
Collation
:
v. : ill. ; 25 cm
Subject
:
Automatic theorem proving
ADDED ENTRIES
:
Siekmann, Jorg H,Wrightson, Graham
Holding Info.
:
0387120440
DocumentNumber
:
8860
Biblography
:
Includes bibliographical references.
BL
:
BL
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=2288&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
