The Scientist September 2013

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune [Repost] eBooks & eLearning

Posted by ChrisRedfield at Dec. 1, 2013

Maria Paola Bonacina, ‎Mark E. Stickel - Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Published: 2013-02-25 | ISBN: 3642366740 | PDF | 280 pages | 3 MB

Details

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (repost) eBooks & eLearning

Posted by libr at Oct. 2, 2014

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune by Maria Paola Bonacina and Mark E. Stickel
English | 2013 | ISBN-10: 3642366740 | 280 pages | PDF | 3,9 MB

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.

Details

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune eBooks & eLearning

Posted by arundhati at Sept. 14, 2013

Maria Paola Bonacina, Mark E. Stickel, "Automated Reasoning and Mathematics: Essays in Memory of William W. McCune"
2013 | ISBN-10: 3642366740 | 280 pages | PDF | 3,9 MB

Details

Conservative Internationalism: Armed Diplomacy Under Jefferson, Polk, Truman, and Reagan [Audiobook] eBooks & eLearning

Posted by IrGens at June 13, 2019

Details