Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 128

  1. Jürgen Cleve; Dieter Hutter

    Guiding equational proofs by attribute functions

    Interner Bericht, 1993.

  2. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

  3. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

  4. Tania Avgustinova

    Review of: Sells, Peter; Shieber, Stuart M.; Wasow, Thomas (Eds.): Foundational Issues in Natural Language Processing. System Development Foundation Benchmark Series. Cambridge: The MIT Press, 1991

    In: The Prague Bulletin of Mathematical Linguistics (PBML), DeGruyter, 1993.

  5. Tania Avgustinova

    On Bulgarian Verb Clitics

    CLAUS-Report, Universität des Saarlandes, Vol. 33, 8/1993.

  6. Stephan Busemann; Karin Harbusch (Hrsg.)

    DFKI Workshop on Natural Language Systems: Reusability and Modularity

    DFKI Workshops, October 23, Saarbrücken, Germany, DFKI Documents (D), Vol. 93-03, DFKI, 1993.

  7. Stephan Busemann

    Towards the Configuration of Generation Systems: Some Initial Ideas

    In: Stephan Busemann; Karin Harbusch (Hrsg.). DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, …

  8. Stephan Busemann

    Implicit Relationships between Grammar and Control

    In: M. Herweg (Hrsg.). 4. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft. Deklarative und prozedurale …

  9. Stephan Busemann

    A Holistic View of Lexical Choice

    In: Helmut Horacek (Hrsg.). New Concepts in Natural Language Generation: Planning, Realization and Systems. Pages 302-308, Frances Pinter, London, …

  10. Jochen Bedersdorfer; Karsten Konrad; Ingo Neis; Oliver Scherf; Jörg Steffen; Michael Wein

    Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere …

Jahr