Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings / edited by Alan Bundy.

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Bundy, Alan
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag, 1994.
Series:	Lecture notes in computer science ; 814. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical.