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 . 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 lecture notes in computer science 7788 bonacina maria paola stickel mark e on amazoncom free shipping on qualifying offers automated reasoning and mathematics essays in memory of william w mccune lecture notes in computer science 7788. 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 . 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