Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings


Book Informaton

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Author

Otmane Ait Mohamed; César Munoz; Sofiène Tahar

Series

Lecture Notes in Computer Science

Volume

5170

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

X, 321

Language

en

ISBN

9783540710653, 9783540710677

ARI Id

1664886108067


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-5
6-11
12-16
17-21
22-27
28-32
33-38
39-54
55-70
71-85
86-101
102-117
118-133
134-149
150-166
167-182
183-198
199-214
215-229
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries