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//