Normal view
MARC view
Kahle, Reinhard, 1967- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): PTCS 2001 (2001 : Dahgstuhl Castle) 16096, Proof theory in computer science :, ©2001.