Matt Kaufmann
Matt Kaufmann
4 ספרים במאגר
ספרים
Computer-Aided ReasoningMatt Kaufmann
Computer-Aided Reasoning
Matt Kaufmann · 2000
Computer-Aided ReasoningMatt Kaufmann
Computer-Aided Reasoning
Matt Kaufmann · 2000
Computer-aided reasoningMatt Kaufmann
Computer-aided reasoning
Matt Kaufmann · 2000
Interactive Theorem ProvingMatt Kaufmann
Interactive Theorem Proving
Matt Kaufmann · 2010