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 . 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 . 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. Automated reasoning and mathematics essays in memory of william w mccune this web page is about the festschrift maria paola bonacina and mark e stickel editors automated reasoning and mathematics essays in memory of william w mccune lecture notes in artificial intelligence 7788 xx 259 p 27 illus springer march 2013 isbn 978 3 642 36674 1 doi 101007 978 3 642 36675 8