Cyber-Physical Systems

Publikationen

Seite 105 von 105.

Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer
Adaptive Course Generation and Presentation
In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on …
Dieter Hutter; Michael Kohlhase
A Colored Version of the lambda-Calculus
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction …
Dieter Hutter; Michael Kohlhase
A Colored Version of the Lambda-Calculus
Technical Report, Vol. SR-95-08, 1995.
Arthur Sehn; Serge Autexier (Hrsg.)
Proceedings des Studentenprogramms der 18. Deutschen Jahrestagung für Künstliche Intelligenz KI-94
DFKI, DFKI Documents (D), Vol. 94-12, 1994.