by International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.)
"This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted…