Automated Deduction — CADE-12 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings Bundy Alan Heftet / 1994 / Engelsk
