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
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
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 27 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 27 entries