Automated Reasoning and Mathematics: Essays in Memory of William W. McCune: 7788 (Lecture Notes in Computer Science, 7788) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Automated Reasoning and Mathematics: Essays in Memory...
Stock Image
Automated Reasoning and Mathematics (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 670141a72ef24a16be47db19e9fe9526
Buy New
£ 38.20
£ 4.74 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19488429-n
Stock Image
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642366741_new
Buy New
£ 45.68
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19488429-n
Buy New
£ 45.67
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Reasoning and Mathematics
Published by
Springer Berlin Heidelberg Mrz 2013, 2013
ISBN 10: 3642366740
ISBN 13: 9783642366741
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 280 pp. Englisch. Seller Inventory # 9783642366741
Stock Image
Automated Reasoning and Mathematics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 280. Seller Inventory # 2658593243
Stock Image
Automated Reasoning and Mathematics
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 280 27 Illus. Seller Inventory # 50966532
Buy New
£ 64.53
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Automated Reasoning and Mathematics
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 280. Seller Inventory # 1858593233
Seller Image
Automated Reasoning and Mathematics
Published by
Springer Berlin Heidelberg, 2013
ISBN 10: 3642366740
ISBN 13: 9783642366741
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 reasoningThis Fests. Seller Inventory # 5058361
Buy New
£ 39.83
£ 42.21 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Reasoning and Mathematics
Published by
Springer, Springer Mär 2013, 2013
ISBN 10: 3642366740
ISBN 13: 9783642366741
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch. Seller Inventory # 9783642366741