1-1 of 1 Books
9th International Conference on Automated Deduction
By International Conference on Automated Deduction (9th 1988 Argonne, Ill.)