Springer
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings
Product Code:
9783540528852
ISBN13:
9783540528852
Condition:
New
$170.09
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990. Proceedings
$170.09
Proceedings of CADE-10. CADE is the major forum for research on all aspects of automated deduction. The CADE conferences have no peer in the concentration and quality of their automated deduction research contributions.
| Author: Mark E. Stickel |
| Publisher: Springer |
| Publication Date: Jul 17, 1990 |
| Number of Pages: 690 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540528857 |
| ISBN-13: 9783540528852 |
Related Products
