Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Applied mathematics, Mathematical & statistical software, Computers, Congresses, Automatic theorem proving, Logic Design, Automata, Computers - General Information, Computer Books: Languages, General, Artificial Intelligence - General, Machine Theory, Formal Specification, Formal Verification, Hardware Design, Higher-Order Logics, Mathematics / Logic, Theorem Proving, Computer ScienceShowing 1 featured edition. View all 0 editions?
Edition | Availability |
---|---|
1
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
September 29, 1999, Springer
Paperback
in English
- 1 edition
3540664637 9783540664635
|
aaaa
Libraries near you:
WorldCat
|
Book Details
The Physical Object
ID Numbers
History
- Created January 15, 2019
- 14 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 17, 2024 | Edited by MARC Bot | import existing book |
April 5, 2023 | Edited by ImportBot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
December 1, 2020 | Edited by MARC Bot | import existing book |
January 15, 2019 | Edited by ImportBot | import existing book |