dblp.uni-trier.dewww.uni-trier.de

Thomas Rath Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
4EEUwe 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
2EEWolfgang 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)

Coauthor Index

1Wolfgang Bibel [2] [3]
2Stefan Brüning [2] [3]
3Uwe Egly [2] [3] [4] [5]
4Anne Göhler [1]
5Holger Hoffmann [6]
6Daniel S. Korn [3]
7Thomas Schmidt-Paulsen [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)