Wow! eBook
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Author(s): Maria Paola Bonacina (Editor), Mark E. Stickel
- Publisher: Springer
- Publication Date: March 15, 2013
- Language: English
- Print length: 280 pages
- ISBN-10: 3642366767
- ISBN-13: 9783642366765
Book Description
This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.
