Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ' 93, Vancouver, B. C. , Canada, August 11-13, 1993. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo