Smart Service Engineering

PUBLIKATIONEN

In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92) October 28-30 Zürich Switzerland Seiten 69-74 IFAC Symposia Series Pergamon Press 1992.

Zur Publikation

In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10) 10th July 24-27 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 449 Springer-Verlag 1990.

Zur Publikation

In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence ISBN 9780745804095 Ellis Horwood 1989.

Zur Publikation

In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Seiten 153-172 Oldenbourg Verlag 1987.

Zur Publikation

In: C.-R. Rollinger, W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86) September 22-26 Ottenstein Austria Seiten 265-276 Springer Verlag, IFB 124 1986.

Zur Publikation

In: U. Furbach, M. Heisel, W. Reif, W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs Karlsruhe Interner Bericht 10/89 Universität Karlsruhe 1986.

Zur Publikation

In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08) July 27-August 1 Oxford United Kingdom Seiten 672-674 Lecture Notes In Computer Science (LNCS) 230 ISBN 978-3-540-16780-8 Springer London 1986.

Zur Publikation

Kontakt

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Smart Service Engineering
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Deutschland

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence