Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Alan Bundy

Research output: Book/Report › Anthology

Fingerprint

Dive into the research topics of 'Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings'. Together they form a unique fingerprint.

Computer Science

Physics