Home > Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ' 93, Vancouver, B. C. , Canada, August 11-13, 1993. Proceedings
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ' 93, Vancouver, B. C. , Canada, August 11-13, 1993. Proceedings
Book Informaton
Author
Jeffrey J. Joyce; Carl-Johan H. Seger
Series
Lecture Notes in Computer Science
Volume
780
Year of Publication
1994
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 526
Language
en
ISBN
9783540578260, 9783540483465, 3540578269, 0387578269
ARI Id
1664306781758
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |