This monograph develops techniques for equational reasoning in higher-order logic.
An edition of Solving higher-order equations
(1997)
Solving Higher-Order Equations
From Logic to Programming (Progress in Theoretical Computer Science)
1 edition
by Christian Prehofer
Share
×Close
Last edited by IdentifierBot
August 6, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Solving higher-order equations: from logic to programming
1998, Birkhauser
in English
0817640320 9780817640323
|
zzzz
|
2
Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)
December 18, 1997, Birkhäuser Boston
Hardcover
in English
- 1 edition
0817640320 9780817640323
|
aaaa
|
Book Details
First Sentence
"This monograph develops techniques for equational reasoning in higher-order logic."
The Physical Object
Edition Identifiers
Work Identifiers
Excerpts
added anonymously.
Community Reviews (0)
Lists
History
- Created April 29, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 6, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |