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

© DFKI

Cyber-Physical Systems

Publikationen

Seite 106 von 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

Sichere Systeme

Leitung

Prof. Dr. Rolf Drechsler

Stellvertreter:
Prof. Dr. Christoph Lüth
Prof. Dr. Dieter Hutter

Kontakt

Assistenz der Leitung:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840
Kristiane.Schmitt@dfki.de

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

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen