Automated reasoning and mathematics essays in memory of william w mccune amazonca bonacina maria paola stickel mark e books. William w mccune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer the volume includes 13 full papers which are presenting research in all aspects of automated reasoning and its applications to mathematics. Request pdf automated reasoning and mathematics essays in memory of william w mccune this festschrift volume is published in memory of william w mccune 1953 2011 william w mccune was an . 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 the volume includes 13 full papers which are presenting research in all aspects of automated reasoning and its . Get this from a library automated reasoning and mathematics essays in memory of william w mccune maria paola bonacina mark e stickel 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