Check nearby libraries
Buy this book

This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book

Subjects
Automatic theorem provingEdition | Availability |
---|---|
1
Gems of Theoretical Computer Science
2012, Springer London, Limited
in English
364260322X 9783642603228
|
zzzz
|
2 |
zzzz
|
3
Gems of Theoretical Computer Science
Sep 29, 1998, Springer My Copy UK
paperback
3642603238 9783642603235
|
aaaa
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created June 16, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
January 31, 2024 | Edited by ImportBot | import existing book |
June 16, 2020 | Created by ImportBot | Imported from amazon.com record |