International Conference on Automated Deduction,, 10, 10th International Conference on Automated Deduction / Proceedings... ; ed. M. E. Stickel

10th International Conference on Automated Deduction / Proceedings... ; ed. M. E. Stickel . - Berlin : Springer-Verlag, cop. 1990 . - XVI, 688 p. : il. 24 cm . - (Lecture notes in artificial intelligence; 449)
3-540-52885-7 (Brochado)

681.3