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 -⭐.

They are best known for writing in the genres one, asdfsa, and Asdfsa.

mone, asdfsa, and Asdfsa are their most common moods.

Computer-Aided Reasoning

Computer-Aided Reasoning

Interactive Theorem Proving

Interactive Theorem Proving
ByMatt Kaufmann,Lawrence C. Paulson

2010 • 495 pages