Research Catalog
Isabelle/HOL : a proof assistant for higher-order logic
- Title
- Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
- Author
- Nipkow, Tobias, 1958-
- Publication
- Berlin ; New York : Springer, c2002.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 02-1013 | Offsite |
Details
- Additional Authors
- Description
- xiii, 218 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2283
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [209]-211) and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 02-1013
- ISBN
- 3540433767 (softcover : alk. paper)
- LCCN
- 2002020906
- OCLC
- 49320458
- Author
- Nipkow, Tobias, 1958-
- Title
- Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
- Imprint
- Berlin ; New York : Springer, c2002.
- Series
- Lecture notes in computer science, 0302-9743 ; 2283
- Bibliography
- Includes bibliographical references (p. [209]-211) and index.
- Additional Formats
- Also available via the World Wide Web.
- Added Author
- Paulson, Lawrence C.Wenzel, Markus.
- Research Call Number
- JSE 02-1013