An edition of Isabelle/HOL (2002)

Isabelle/HOL

A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

1 edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Isabelle/HOL by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Isabelle/HOL (2002)

Isabelle/HOL

A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)

1 edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
218

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computer logic, Automatic theorem proving

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Isabelle/HOL
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
2003, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Isabelle/HOL
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
May 3, 2002, Springer
Paperback in English - 1 edition
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"This book is a tutorial on how to use the theorem prover Isabelle/HOL as a specification and verification system."

Classifications

Library of Congress
QA76.9.L63 N55 2002, QA75.5-76.95, QA76.9.L63 I83 2002

The Physical Object

Format
Paperback
Number of pages
218
Dimensions
9 x 6.1 x 0.7 inches
Weight
12 ounces

ID Numbers

Open Library
OL9057678M
Internet Archive
isabelleholproof00nipk
ISBN 10
3540433767
ISBN 13
9783540433767
LCCN
2002020906
OCLC/WorldCat
49320458
Library Thing
195729
Goodreads
1662299

Source records

amazon.com record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
December 5, 2020 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book