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.