An edition of Frontiers of combining systems 2
(1999)
Frontiers of Combining Systems 2 (Studies in Logic and Computation)
by Dov M. Gabbay and Maarten de Rijke
Share
×Close
"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Frontiers of Combining Systems 2 (Studies in Logic and Computation)
October 1999, Research Studies Press
Hardcover
in English
0863802524 9780863802522
|
aaaa
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 9, 2024 | Edited by MARC Bot | import existing book |
| December 1, 2020 | Edited by MARC Bot | import existing book |
| August 10, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |