Matt Kaufmann
Matt Kaufmann has written at least 3 books. Their most popular book is Computer-Aided Reasoning with 0 saves with an average rating of -⭐.
Computer-Aided Reasoning
ByMatt Kaufmann
Computer-Aided Reasoning
ByMatt Kaufmann
Interactive Theorem Proving
ByMatt Kaufmann,Lawrence C. Paulson
2010 • 495 pages