| | 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings 1990 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Stickel, Mark E. | Paperback | 3540528857 / 9783540528852 | 07/1990 | $151.99 |