10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Book Details
Author(s)M. E. Stickel,
ISBN / ASIN0387528857
ISBN-139780387528854
CategoryAlgorithms
MarketplaceFrance 🇫🇷



