13/06/1998: Eines der aufregendsten Gebiete der Computerwissenschaft

Grundlagenforschung: Das Uni-Institut RISC beschäftigt sich mit den schwierigen Problemen des systematischen Rechnens