Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings


Book Informaton

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Author

Klaus Schneider; Jens Brandt

Series

Lecture Notes in Computer Science

Volume

4732

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin

Pages

VIII, 404

Language

en

ISBN

9783540745907, 9783540745914, 3540745904

ARI Id

1664698008342


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

Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-4
5-21
22-37
38-53
54-69
70-85
86-101
102-118
119-134
135-150
151-156
157-172
173-188
189-206
207-222
223-231
232-245
246-261
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries