10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449) Buy on Amazon
Facebook LinkedIn

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)

Category Algorithms
Book Details
Author(s) M. E. Stickel,
ISBN / ASIN 0387528857
ISBN-13 9780387528854
Category Algorithms
Marketplace United States 🇺🇸
Ratings & Reviews No reviews yet — be the first!

No reviews yet.

Donate to EbookNetworking
Previous Book The Art of Computer Program... Next Book The Art of Computer Program...
Previous The Art of Comput...
Next The Art of Comput...