Click on a thumbnail to go to Google Books.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2002)
by Tobias Nipkow, Lawrence C. Paulson (Author), Markus Wenzel (Author)
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English (1)
No descriptions found.
No library descriptions found.
RatingAverage: No ratings.
Is this you?
Become a LibraryThing Author.