|
| Books 1 - 9 of 9 | Previous | Next |
|
 | | Computer-Aided Reasoning: An Approach (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Hardcover, 292 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer Aided Reasoning Two Volume Set (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 648 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Physically Based Rendering : From Theory to Implementation (The Morgan Kaufmann Series in Interactive 3D Technology) (The Interactive 3d Technology Series)
by MATT PHARR, Greg Humphreys
Hardcover, 1042 Pages, Published 2004 by Morgan Kaufmann
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Rendering ebook Collection: Ultimate CD (Cdr Edition)
by Saty Raghavachary, Matt Pharr, David Luebke, Thomas Strothotte
CD-ROM, 2544 Pages, Published 2008 by Morgan Kaufmann, Cdr Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | COMPUTER-AIDED REASONING
by Matt Kaufmann
Paperback, Published 1980 by NY
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computer Aided Reasoning an Approach
by Matt Kaufmann
Hardcover, Published 1980 by KLUWER ACADEMIC PUBLISHERS
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Interaction with the Boyer-Moore Theorem Prover: A tutorial study using the arithmetic-geometric mean theorem (Technical report)
by Matt Kaufmann
Unknown Binding, 121 Pages, Published 1991 by Computational Logic, Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Comparing Gypsy and the Boyer-Moore logic for specifying secure systems (Technical report)
by Matt Kaufmann
Unknown Binding, Published 1987 by Institute for Computing Science, The University of Texas at Austin
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 9 of 9 | Previous | Next |