Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings (Lecture Notes in Computer Science 607)

by D. Kapur Paperback details (USA). ISBN: 978-0-387-55602-4 ISBN-10: 0-387-55602-8 Springer Verlag · 1992