Automated deduction : proceedings - Kapur D; International Conference on Automated Deduction( 11th : 1992 : New York ); International Conference on Automated Deduction 11th New York, 1992 (Berlin Springer Verlag, 1992)
Keywords: Automated deduction; Computer science