Normal View ISBD View

10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings / edited by M. E. Stickel - Berlin : Springer-Verlag, 1990 - XVI, 688 p. ; 24 cm. - Lecture notes in artificial intelligence ; 449 .

ISBN: 3540528857

Subjects--Topical Terms:
Automatic theorem proving--Congresses
Logic, Symbolic and mathematical- Congresses

LC Class. No.: QA76.9.A96I57