Teimuraz Kutsia

Research Area

Unification, automated reasoning, rule-based programming

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.14-1

Postal Adress

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