Skip to contents Kahle, Reinhard [Editor] ; PTCS 2001 Dagstuhl Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2183
Kahle, Reinhard [Editor] ; PTCS 2001 Dagstuhl Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2183
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Kahle, Reinhard (1) Wert ausschließen PTCS 2001 Dagstuhl (1) Wert ausschließen Show more show less