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