Matt Kaufmann

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
Computer-Aided Reasoning
Interactive Theorem Proving