Cyber-Physical Systems

Publikationen

Seite 107 von 107.

Till Mossakowski; Serge Autexier; Dieter Hutter
Extending development graphs with hiding
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …
Dieter Hutter; Michael Kohlhase
Managing Structural Information by Higher-Order Colored Unification
In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.
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.