Research Catalog
Isabelle : a generic theorem prover
- Title
- Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
- Author
- Paulson, Lawrence C.
- Publication
- Berlin ; New York : Springer-Verlag, c1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 95-448 | Offsite |
Details
- Description
- xvii, 321 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 828
- Subject
- Bibliography (note)
- sqcludes bibliographical refernces (p. [301]-304) and index.
- Call Number
- JSE 95-448
- ISBN
- 3540582444
- 0387582444
- LCCN
- 94003445
- OCLC
- 30667004
- Author
- Paulson, Lawrence C.
- Title
- Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
- Imprint
- Berlin ; New York : Springer-Verlag, c1994.
- Series
- Lecture notes in computer science ; 828
- Bibliography
- sqcludes bibliographical refernces (p. [301]-304) and index.
- Research Call Number
- JSE 95-448