Home › Authors › International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.) 👤 International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.) 1 book Books by International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.) Automated deduction, CADE-13 1996
