Home > Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Book Informaton
Author
David Basin; Burkhart Wolff
Series
Lecture Notes in Computer Science
Volume
2758
Year of Publication
2003
Publisher
Springer Berlin Heidelberg
City of Publication
New York
Pages
X, 366
Language
en
ISBN
9783540406648, 9783540451303, 3540406646
ARI Id
1664842213643
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 25 entries
Chapters/Headings | Author(s) | Pages | Info |
1-24 | |||
25-40 | |||
41-54 | |||
55-70 | |||
71-86 | |||
87-102 | |||
103-119 | |||
120-135 | |||
136-154 | |||
155-170 | |||
171-187 | |||
188-203 | |||
204-204 | |||
205-220 | |||
221-237 | |||
238-252 | |||
253-269 | |||
270-286 | |||
287-303 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 25 entries