Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12,2001.Proceedings, Lecture Notes in Computer Science 2183
Reinhard Kahle/Peter Schroeder-Heister/Robert Stärk
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 28.09.2001
Umfang: x, 246 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540427520
Umbreit-Nr.: 1472482
