Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

© DFKI

Cyber-Physical Systems

Publications

Page 106 of 106.

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.

Links

Highlights

Safe & Secure Systems

Management

Prof. Dr. Rolf Drechsler

Deputy Head:
Prof. Dr. Christoph Lüth
Prof. Dr. Dieter Hutter

Contact

Assistant to the management:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen