Automated deduction-CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, N.Y., USA, June 15-18, 1992 : proceedings - International Conference on Automated Deduction 1992 : Saratoga Springs, N.Y., USA); Kapur, D. (Berlin : Springer, 1992)
Keywords: Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving -- Congresses