RISC - Research Institute for Symbolic Computation, Johannes Kepler University Linz
RISC about  |  people  |  publications
research  |  education  |  industry
conferences  |  media  |  projects
PostDoc Position in Computational Logic  > more
RISC courses winter 2014/15  > more
Theorema 2.0 available  > more
Ph.D. student positions available  > more
Research - Education - Industry
Johannes Kepler University Linz Welcome! Research Education Industry