Treffer 1 – 15 von 15 für Suche 'Pletat, Udo', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Knowledge representation for natural language understanding the LLILOG approach

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Semantics of logic programs with equational abstract data type specifications

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The algebra of feature graph specifications

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Knowledge representation in LILOG

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Feature graphs and abstract data types a unifying approach

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Integrating model theoretic and proof theoretic interpretation of logic programs

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The semantics of asserting and retracting clauses to logic programs

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Operational semantics of algebraic specifications with conditional equations

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Handling errors and exceptions in the algebraic specification of data types

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Knowledge in operation

    Knowledge in operation von Bollinger, Toni, Pletat, Udo

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Modularizing knowledge in LILOG

    Modularizing knowledge in LILOG von Pletat, Udo

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    The LILOG knowledge representation system

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    An algebraic characterization of STUF

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    On the integration of equality, sorts, and logic programming

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Die Semantik des Softwareentwicklungsprozesses

    Die Semantik des Softwareentwicklungsprozesses von Pletat, Udo

    Veröffentlicht 1984
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: