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