Items related to Automated Reasoning and Mathematics: Essays in Memory...
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence) - 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.
- PublisherSpringer
- Publication date2013
- ISBN 10 3642366740
- ISBN 13 9783642366741
- BindingPaperback
- LanguageEnglish
- Number of pages279
- EditorBonacina Maria Paola, Stickel Mark E.
Search results for Automated Reasoning and Mathematics: Essays in Memory...
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
Quantity: Over 20 available
Stock Image
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020225234
Quantity: Over 20 available
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
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
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
Quantity: 2 available
Seller Image
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
Published by
Springer Berlin Heidelberg, 2013
ISBN 10: 3642366740
ISBN 13: 9783642366741
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642366741
Quantity: 1 available
Stock Image
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
Published by
Springer Berlin Heidelberg, 2013
ISBN 10: 3642366740
ISBN 13: 9783642366741
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 23548384/12
Quantity: 1 available
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
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: As New. Unread book in perfect condition. Seller Inventory # 19488429
Quantity: Over 20 available
Stock Image
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science, 7788)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA79036423667406
Quantity: 1 available