Automated deduction : proceedings - Bundy Alan; International Conference on Automated Deduction( 12th : 1994 : Nancy ); International Conference on Automated Deduction 12th Nancy, 1994 (Berlin Springer Verlag, 1994)
Keywords: Automata theory; Computer science