| 2009 |
|---|
| 6 | | Holger Hoffmann,
Thomas Rath:
Überregionale Simulationen zum zukünftigen Energieverbrauch von Gewächshäusern unter Berücksichtigung von IPCC-Szenarien.
GIL Jahrestagung 2009: 61-64 |
| 2000 |
|---|
| 5 | | Uwe Egly,
Thomas Rath:
Practically Useful Variants of Definitional Translations to Normal Form.
Inf. Comput. 162(1-2): 255-264 (2000) |
| 1996 |
|---|
| 4 | | Uwe Egly,
Thomas Rath:
On the Practical Value of Different Definitional Translations to Normal Form.
CADE 1996: 403-417 |
| 1995 |
|---|
| 3 | | Wolfgang Bibel,
Stefan Brüning,
Uwe Egly,
Daniel S. Korn,
Thomas Rath:
Issues in Theorem Proving Based on the Connection Method.
TABLEAUX 1995: 1-16 |
| 1994 |
|---|
| 2 | | Wolfgang Bibel,
Stefan Brüning,
Uwe Egly,
Thomas Rath:
KoMeT.
CADE 1994: 783-787 |
| 1990 |
|---|
| 1 | | Anne Göhler,
Thomas Rath,
Thomas Schmidt-Paulsen:
Expertensysteme im Gartenbau.
Wirtschaftsinformatik 32(6): 543-549 (1990) |
