9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988. Proceedings by

Advances in Intelligent Systems and Computing

9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988. Proceedings

776 pages paperback

16 editions

nonfiction art business computer science technology
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the disco...

Show More

Community Reviews

Loading...

Content Warnings

Loading...