Automated Deduction ― CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)
This proceedings volume records the 12th International Conference on Automated Deduction, held in Nancy, France, from June 26 to July 1, 1994. Part of the Lecture Notes in Computer Science series, it offers a focused academic reference on automated reasoning and formal deduction.
About This Book
This volume presents the proceedings of the 12th International Conference on Automated Deduction.
The conference took place in Nancy, France, from June 26 to July 1, 1994.
Its subject is automated deduction, a specialized area concerned with formal reasoning and deduction by computational methods.
Published as volume 814 in the Lecture Notes in Computer Science series, it is suited to academic and professional reference collections.
Reviews
No reviews yet. Be the first to review this book!