Overview
- Published in memory of William (Bill) W McCune, one of the founders of practical theorem proving and model building
- Includes personal recollections of Bill McCune by his colleagues
- Up-to-date results in automated reasoning
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7788)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Similar content being viewed by others
Keywords
Table of contents (13 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Automated Reasoning and Mathematics
Book Subtitle: Essays in Memory of William W. McCune
Editors: Maria Paola Bonacina, Mark E. Stickel
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-36675-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-36674-1Published: 19 March 2013
eBook ISBN: 978-3-642-36675-8Published: 28 February 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 259
Number of Illustrations: 27 b/w illustrations
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Math Applications in Computer Science