Lecture Notes in Artificial Intelligence

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

Editors: Bonacina, Maria Paola, Stickel, Mark E. (Eds.)

  • 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
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-36675-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-36674-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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 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.

Table of contents (13 chapters)

  • The Legacy of a Great Researcher

    Wos, Larry

    Pages 1-14

  • The Strategy Challenge in SMT Solving

    Moura, Leonardo (et al.)

    Pages 15-44

  • Simple and Efficient Clause Subsumption with Feature Vector Indexing

    Schulz, Stephan

    Pages 45-67

  • Superposition for Bounded Domains

    Hillenbrand, Thomas (et al.)

    Pages 68-100

  • MACE4 and SEM: A Comparison of Finite Model Generators

    Zhang, Hantao (et al.)

    Pages 101-130

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-36675-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-36674-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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 Artificial Intelligence
Series Volume
7788
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-36675-8
DOI
10.1007/978-3-642-36675-8
Softcover ISBN
978-3-642-36674-1
Edition Number
1
Number of Pages
XX, 259
Number of Illustrations and Tables
27 b/w illustrations
Topics