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
Congresses, Automatic theorem provingShowing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science)
March 1994, Springer
in English
0387578269 9780387578262
|
zzzz
Libraries near you:
WorldCat
|
2
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Lecture Notes in Computer Science)
May 27, 1994, Springer
Paperback
in English
- 1 edition
3540578269 9783540578260
|
zzzz
Libraries near you:
WorldCat
|
3
Higher order logic theorem proving and its applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
1994, Springer-Verlag
in English
3540578269 9783540578260
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Papers presented at the 1993 HOL User's Group Workshop.
Includes index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?July 30, 2019 | Edited by MARC Bot | associate edition with work OL18234585W |
February 4, 2019 | Created by MARC Bot | import existing book |