Skip to main content Skip to main navigation
MLT Headerbild© Adobe Stock

Sprachtechnologie und Multilingualität

Publikationen

Seite 5 von 5.

  1. Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    The Verification Support Environment VSE

    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, …

  2. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

    DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

Kontakt

Sekretariat:
Tel.: +49 681 85775 5282
Fax: +49 681 85775 5338

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