Jakob Praher

Research Area

Automated Reasoning, Logic Programming

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: none

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Phone