Zur JKU Startseite
Institut für Symbolisches Rechnen (RISC)
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

News
cover page

Thinking Programs

Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

von Wolfgang Schreiner (RISC)

Weitere Neuigkeiten finden Sie immer auf der RISC website, öffnet eine externe URL in einem neuen Fenster.