Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July, 1990 /

Bibliographic Details
Corporate Author:	International Conference on Automated Deduction Kaiserslautern, Germany
Other Authors:	Stickel, M. E. (Mark E.), 1947-
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Springer-Verlag, 1990.
Series:	Lecture notes in computer science ; 449. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage