Suchergebnisse - Pletat, Udo

  • Treffer 1 – 15 von 15
Treffer filtern
  1. 1
    Buchumschlag

    Die Semantik des Softwareentwicklungsprozesses
    von Pletat, Udo

    Veröffentlicht 1984
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Knowledge representation for natural language understanding: the LLILOG approach
    von Beierle, Christoph 1954-, Pletat, Udo, Studer, Rudi 1951-

    Veröffentlicht 1990
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Semantics of logic programs with equational abstract data type specifications
    von Beierle, Christoph 1954-, Pletat, Udo

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The algebra of feature graph specifications
    von Beierle, Christoph 1954-, Pletat, Udo

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Knowledge representation in LILOG
    von Pletat, Udo, Luck, Kai von

    Veröffentlicht 1989
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Feature graphs and abstract data types: a unifying approach
    von Beierle, Christoph 1954-, Pletat, Udo

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Integrating model theoretic and proof theoretic interpretation of logic programs
    von Pletat, Udo

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The semantics of asserting and retracting clauses to logic programs
    von Pletat, Udo, Beierle, Christoph 1954-

    Veröffentlicht 1987
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Operational semantics of algebraic specifications with conditional equations
    von Pletat, Udo, Engels, Gregor 1955-, Ehrich, Hans-Dieter 1943-

    Veröffentlicht 1981
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Handling errors and exceptions in the algebraic specification of data types
    von Engels, Gregor 1955-, Pletat, Udo, Ehrich, Hans-Dieter 1943-

    Veröffentlicht 1981
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Knowledge in operation
    von Bollinger, Toni, Pletat, Udo

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Modularizing knowledge in LILOG
    von Pletat, Udo

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    The LILOG knowledge representation system
    von Bollinger, Toni, Pletat, Udo

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    An algebraic characterization of STUF
    von Beierle, Christoph 1954-, Pletat, Udo, Uszkoreit, Hans

    Veröffentlicht 1988
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    On the integration of equality, sorts, and logic programming
    von Beierle, Christoph 1954-, Pletat, Udo

    Veröffentlicht 1987
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: