Sign in / Join|English|Help
Hide this

Results from Google Books

Click on a thumbnail to go to Google Books.

Isabelle/HOL: A Proof Assistant for…
Loading...

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2002)

by Tobias Nipkow, Lawrence C. Paulson (Author), Markus Wenzel (Author)

Series: Lecture Notes in Computer Science (2283)

MembersReviewsPopularityAverage ratingConversations
7None1,048,138NoneNone
Add to your library
Add to wishlist
▾LibraryThing recommendations

None.

▾Member recommendations

None.

▾Will you like it?
Loading...

Sign up for LibraryThing to find out whether you'll like this book.

▾Member reviews
No reviews
?
▾Published reviews
no reviews | add a review
▾Other authors

» Add other authors

Author nameRoleType of authorWork?Status
Tobias Nipkow—primary authorall editionsconfirmed
Paulson, Lawrence C.Authormain authorall editionsconfirmed
Wenzel, MarkusAuthormain authorall editionsconfirmed
▾Work-to-work relationships
▾Common Knowledge
You must log in to edit Common Knowledge data.
For more help see the Common Knowledge help page.
Series (with order)
Lecture Notes in Computer Science (2283)
Canonical title
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Original title
Alternative titles
Original publication date
2002
People/Characters
Important places
Important events
Related movies
Awards and honors
Epigraph
Dedication
First words
This book is a tutorial on how to use the theorem prover Isabelle/HOL as a
specification and verification system.
Quotations
Last words
Disambiguation notice
Publisher's editors
Blurbers
Publisher series
▾References

References to this work on external resources.

Wikipedia in English (1)

?
▾LibraryThing members' description
Book description
Haiku summary
▾Book descriptions

No descriptions found.

▾Library descriptions

No library descriptions found.

Quick Links

Amazon.com (direct)
Abebooks.com
Amazon Kindle (1 edition)
Audible (0 editions)
CD Audiobook (0 editions)
Project Gutenberg (0 editions)
Google Books — Loading...
WorldCat
Swap Ebooks Audio
—1 pay—

Popular covers

Rating

Average: No ratings.

Is this you?

Become a LibraryThing Author.

 

Help/FAQs | About | Privacy/Terms | Blog | Contact | LibraryThing.com | APIs | WikiThing | Common Knowledge | Legacy Libraries | Early Reviewers | 82,551,240 books!
Copyright LibraryThing and/or members of LibraryThing, authors, publishers, libraries, cover designers, Amazon, Bol, Bruna, etc. | static: /