M

Matt Kaufmann

5 books found

Books by Matt Kaufmann
Computer-aided reasoningMatt Kaufmann
⏱ 5h 15m

Computer-aided reasoning

Matt Kaufmann

2000315 pp.
Computer-Aided ReasoningMatt Kaufmann
⏱ 5h 37m

Computer-Aided Reasoning

Matt Kaufmann

2000337 pp.
Computer-Aided ReasoningMatt Kaufmann
⏱ 4h 30m

Computer-Aided Reasoning

Matt Kaufmann

2000270 pp.
Interactive Theorem ProvingMatt Kaufmann

Interactive Theorem Proving

Matt Kaufmann

2010No page data
Interactive Theorem ProvingLawrence C. Paulson,Matt Kaufmann

Interactive Theorem Proving

Lawrence C. Paulson,Matt Kaufmann

2011No page data