10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
📄 Viewing lite version
Full site ›
9.33
USD
🛒 Buy New on Amazon 🇺🇸
Book Details
Author(s)M. E. Stickel,
ISBN / ASIN0387528857
ISBN-139780387528854
CategoryAlgorithms
MarketplaceUnited States 🇺🇸
More Books in Algorithms
Introduction to Algorithms
View
Graph Theory. An Algorithmic Approach
View
The Art of Computer Programming, Vol. 1: Fundamental A…
View
Computer Algorithms: Introduction to Design and Analys…
View
The Art of Computer Programming, Volume 4, Fascicle 3:…
View
The Art of Computer Programming, Fascicle 0: Introduct…
View
Handbook of Religion and Social Institutions (LECTURE …
View
Applied Linear Algebra and Matrix Analysis (Lecture No…
View
Planning Chinese Characters (Lecture Notes in Computer…
View