Travelled to:
1 × France
Collaborated with:
C.Goller R.Letz J.Schumann
Talks about:
abstract (1) develop (1) system (1) setheo (1) recent (1)
Person: Klaus Mayr
DBLP: Mayr:Klaus
Contributed to:
Wrote 1 papers:
- CADE-1994-GollerLMS
- SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.