Automatisiertes Denken und Mathematik: Essays zum Gedenken an William W. Mccune, ...
70,45 €
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune, Paperback by Bonacina, Maria Paola (EDT); Stickel, Mark E. (EDT), ISBN 3642366740, ISBN-13 9783642366741, Like New Used, Free P&P in the UK 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.
Jetzt bei Ebay:
![Produktbild - GMAT: 1,001 Practice Questions for Dummies by Sandra Luna McCune [Paperback]](https://i.ebayimg.com/thumbs/images/g/yyAAAeSwC~1oTEtM/s-l140.jpg)
