Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Edition | Availability |
---|---|
1
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
2003, Springer London, Limited
in English
3540451307 9783540451303
|
aaaa
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?February 25, 2022 | Created by ImportBot | import new book |