Home › Authors › International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) 👤 International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) 1 book Books by International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) Automated deduction, CADE-11 1992
