-
RecordNumber
22420
-
Author
International conference on automated deduction, 7th Napa calif, 1984
-
Title
Automated deduction. Proceedings of...
-
Editor
Edited by R.E. Shostak
-
Publication
Springer
-
Collation
508p
-
Series
Lecture notes in computer science; 170
-
Bibliography
Includes bibliographies
-
Subject
Atomatic theorem proving- Congresses , Logic, Symbolic and mathematical- Congresses
-
ADDED ENTRIES
Shotak, Robert ed , ^dSeries:Lecture notes in computer science; 170
-
Main Class
511
-
Sub Class
.3
-
Cutter no
I61a
-
Date
1984
-
وارد كنندة اطلاعات
fazel^d// , alipour^d2003/11/11 13:12:03
-
Link To Document :
