Paul Libbrecht; Erica Melis; Carsten Ullrich
In: Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS), Pages 173-177, 2001.
Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich
In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …
Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich
In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.
Thomas Kieninger
PhD-Thesis, Universität Kaiserslautern, 2/2001.
Ludger van Elst; Andreas Abecker
In: Proceedings of the Thirteenth International Conference on Software Engineering and Knowledge Engineering, June 13--15. Buenos Aires, Argentina. …
In: IJCAI'2001 Working Notes of the Workshop on Knowledge Management and Organizational Memories, Seattle, Washington. International Joint Conference …
In: I. Russell; J. Kolen (Hrsg.). Proceedings of the Fourteenth International FLAIRS Conference, May 21-23, Key West, Florida. International FLAIRS …
Bertin Klein; Serdar Gökkus; Thomas Kieninger; Andreas Dengel
In: Int. Conf. On Document Analysis and Recognition (ICDAR) '01. International Conference on Document Analysis and Recognition (ICDAR), 2001.
Peter Loos; Peter Fettke
Working Papers, 2001.
In: Ion Ivan; Ion Gh. Rosca (Hrsg.). Information Society - The Proceedings of the Fifth International Symposium on Economic Informatics - IE 2001, …
