RecordNumber
22425
Author
Interantional conference on automated Deduction. 10th kaiserslautern: FRG, 1990
Title
Proceedings of...
Editor
M.E. Stickel ed
Publication
Springer
Publication Year
[c1990]
Collation
xvi, 688p.: diagrs
Series
Lecture notes
Main Class
511
Sub Class
.24
Cutter no
0285 I61p
Date
1990
وارد كنندة اطلاعات
fazel^d//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=22425&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
