Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 2013 Edition Contributor(s): Bonacina, Maria Paola (Editor), Stickel, Mark E. (Editor) |
|
ISBN: 3642366740 ISBN-13: 9783642366741 Publisher: Springer OUR PRICE: $47.49 Product Type: Paperback - Other Formats Published: March 2013 |
Additional Information |
BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Data Processing - Mathematics | Logic |
Dewey: 004.015 |
Series: Lecture Notes in Computer Science / Lecture Notes in Artific |
Physical Information: 0.59" H x 6.14" W x 9.21" (0.87 lbs) 259 pages |