| Isabelle A Generic Theorem Prover | | | Author:
| Paulson, Lawrence C. | | Editor:
| Goos, G.
Hartmanis, J. | | Series title: | Lecture Notes in Computer Science | | ISBN: | 978-0-387-58244-3 | | Publication Date: | Sep 1994 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | USD $71.95 |
| |