| Title: | Isabelle/HOL: A Proof Assistant for Higher-Order Logic |
| Author: | Nipkow, Tobias, 1958- |
| Author: | Paulson, Lawrence C. |
| Author: | Wenzel, Markus |
| Note: | 2018 |
| Link: | PDF in Germany |
| Stable link here: | https://onlinebooks.library.upenn.edu/webbin/book/lookupid?key=olbp78540 |
| Subject: | Isabelle (Computer file) |
| Subject: | Computer logic |
| Subject: | Automatic theorem proving |
| Call number: | QA76.9 .L63 N53 2002 |
| Other copies: | Look for editions of this book at your library, or elsewhere. |
Help with reading books -- Report a bad link -- Suggest a new listing
Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials
Books -- News -- Features -- Archives -- The Inside Story
Edited by John Mark Ockerbloom (onlinebooks@pobox.upenn.edu)
Data for this curated collection listing is CC0. See OBP copyrights and licenses.