Items related to Automated Reasoning and Mathematics: Essays in Memory...

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune - Softcover

 
9783642366765: Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Softcover
ISBN 10: 3642366767 ISBN 13: 9783642366765
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642366767
ISBN 13 
9783642366765
Binding
Paperback
Number of pages
280
Editor
Maria Paola Bonacina, Mark E. Stickel

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642366741: Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence)

Featured Edition

ISBN 10:  3642366740 ISBN 13:  9783642366741
Publisher: Springer, 2013
Softcover