.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Reasoning and Mathematics
. Ed(S): Bonacina, Maria Paola; Stickel, Mark E.
€ 61.44
FREE Delivery in Ireland
Description for Automated Reasoning and Mathematics
Paperback. This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics. Editor(s): Bonacina, Maria Paola; Stickel, Mark E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 259 pages, 27 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
259
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
259
Place of Publication
Berlin, Germany
ISBN
9783642366741
SKU
V9783642366741
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Reasoning and Mathematics