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