Publikationen

Zeige Ergebnisse 1 bis 8 von 8

KMI Bürowirtschaft Lehre und Praxis Winklers Verlag Darmstadt 1986.

Zur Publikation

In: Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86) September 22-26 Ottenstein Austria Seiten 277-288 Informatik-Fachberichte 124 Springer 1986.

Zur Publikation

In: Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986) 8th July 27-August 1 Oxford United Kingdom Seiten 514-524 Lecture Notes in Computer Science (LNCS) 230 Springer 1986.

Zur Publikation

In: 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

In: 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: 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

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