null Skip to main content

✨ Buy more, save 5% Ends

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

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

$168.94
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
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

Overview

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

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.