Automated deduction-CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings - International Conference on Automated Deduction 1994 : Nancy, France); Bundy, Alan (Berlin : Springer, 1994)
Keywords: Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving -- Congresses