-
RecordNumber
4402
-
Title
Automated theoren proving: after 25 years
-
Editor
W. W. Bledose ¶ D. W. Loveland editores
-
Publication
American mathematical society
-
Publication Year
[c1984]
-
Collation
ix, 360 p
-
Series
Contemporary nathemati8cs; v 29
-
Subject
Automatic theoren proving congresses
-
ADDED ENTRIES
Bledose, W. W,. jt.ed , Loweland, Donold , ^dSeries: Contemporary anathematics, v. 2d
-
Main Class
511
-
Sub Class
.3
-
Cutter no
A939
-
وارد كنندة اطلاعات
zare 1027^d//
-
Link To Document :
