Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Interactive Theorem Proving | Paperback | 978-3-642-14053-2 | 2011 | Matt Kaufmann | |
| Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings | Taschenbuch | 978-3-642-14051-8 | 2010 | " | |
| Isabelle: A Generic Theorem Prover | Paperback | 978-0-387-58244-3 | 1994 | ||
| Isabelle: A Generic Theorem Prover | Taschenbuch | 978-3-540-58244-1 | 1994 | ||
| Isabelle/HOL: A Proof Assistant for Higher-Order Logic | " | 978-3-540-43376-7 | 2002 | Tobias Nipkow · Markus Wenzel | |
| Logic and Computation: Interactive Proof with Cambridge LCF | Paperback | 978-0-521-39560-1 | 2008 | ||
| Logic and Computation: Interactive Proof with Cambridge LCF | Hardcover | 978-0-521-34632-0 | 1987 | ||
| ML for the Working Programmer | Paperback | 978-0-521-56543-1 | 1996 | ||
| ML for the Working Programmer | " | 978-0-521-42225-3 | 1992 | ||
| ML for the Working Programmer | Hardcover | 978-0-521-39022-4 | 1991 | ||
C.P. · L. C. · L.P. · Lawrence C. · Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow