10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings by

Springer Proceedings in Physics

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings

690 pages paperback

17 editions

nonfiction mathematics science technology medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is...

Show More

Community Reviews

Loading...

Content Warnings

Loading...