Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings


Book Informaton

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Author

Mark Aagaard; John Harrison

Series

Lecture Notes in Computer Science

Volume

1869

Year of Publication

2000

Publisher

Springer Berlin Heidelberg

Pages

IX, 539

Language

EN

ISBN

9783540678632, 9783540446590, 3540678638

ARI Id

1664871979602


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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