Proceedings
Subtitle: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
By: M.E. Stickel, (ed.).
Contributors: Stickel, M. E. 1947-
Series: Lecture notes in computer science ;; 449.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 449.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; New York
Language: eng
Number of pages: 688
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes biblioigraphical references and index.