Home > Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Book Informaton
Author
Reinhard Kahle; Peter Schroeder-Heister; Robert Stärk
Series
Lecture Notes in Computer Science
Volume
2183
Year of Publication
2001
Publisher
Springer Berlin Heidelberg
Pages
X, 246
Language
en
ISBN
9783540427520, 9783540455042, 354042752X
ARI Id
1664929905374
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 15 of 15 entries
Chapters/Headings | Author(s) | Pages | Info |
I-IX | |||
1-21 | |||
22-37 | |||
38-48 | |||
49-67 | |||
68-77 | |||
78-92 | |||
93-113 | |||
114-129 | |||
130-152 | |||
153-169 | |||
170-190 | |||
191-201 | |||
202-238 | |||
239-239 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 15 of 15 entries