Treffer: Proof theory in computer science
Titel:
Proof theory in computer science : international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. Reinhard Kahle ... (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2001
Umfang:
VIII, 238 Seiten ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 2183
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
354042752X