Tell your friends about this item:
Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science 1994 edition
Lawrence C. Paulson
Price
A$ 104.99
Ordered from remote warehouse
Expected delivery Jan 21, 2025 - Feb 3, 2025
Our customers say:
Add to your iMusic wish list
Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science 1994 edition
Lawrence C. Paulson
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.
329 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 28, 1994 |
| ISBN13 | 9783540582441 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 329 |
| Dimensions | 156 × 234 × 18 mm · 494 g |
| Language | English |
| Contributor | T. Nipkow |
See all of Lawrence C. Paulson ( e.g. Paperback Book )