| |
Teimuraz Kutsia, Priv.-Doz. Dipl.-Math. Dr.
RISC Faculty
Working area: Unification, automated reasoning, rule-based programming
Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria
Phone: | +43 732 2468 9982 |
Fax: | +43 732 2468 9930 |
Mobile: | +43 664 943 22 98 |
EMail: | Temur.Kutsia@risc.jku.at |
Web: | http://www.risc.jku.at/home/tkutsia/ |
Office:
RISC 2
A-4232 Hagenberg im Mühlkreis
Room -2.14-1
|