Automated Reasoning and Mathematics: Essays in Memory of William W. McCune by Ma
61,40 €
William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011.
Jetzt bei Ebay:
