Media type: Book; Conference Proceedings Title: Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings Contributor: Kahle, Reinhard [Editor] Event: PTCS Published: Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2183 Extent: VIII, 238 S.; 24 cm Language: English ISBN: 354042752X RVK notation: SS 4800 : Lecture notes in computer science Keywords: Beweistheorie > Programmierparadigma Automatisches Beweisverfahren Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5321 Item ID: 30083553 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order