The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution.
An edition of Isabelle
(1994)
Isabelle
a generic theorem prover
by Lawrence C. Paulson
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
December 4, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
July 1994, Springer
in English
0387582444 9780387582443
|
zzzz
Libraries near you:
WorldCat
|
2
|
aaaa
Libraries near you:
WorldCat
|
3
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
September 9, 1994, Springer
Paperback
in English
- 1 edition
3540582444 9783540582441
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
sqcludes bibliographical refernces (p. [301]-304) and index.
Classifications
The Physical Object
ID Numbers
Source records
Scriblio MARC recordLibrary of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
amazon.com record
marc_columbia MARC record
Excerpts
added anonymously.
Community Reviews (0)
Feedback?
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |