Showing 1 - 15 results of 15 for search 'Pletat, Udo', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Knowledge representation for natural language understanding the LLILOG approach

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

    Published 1990
    Book Interlibrary loan Place Request


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

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

    Published 1988
    Book Interlibrary loan Place Request


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

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

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Knowledge representation in LILOG

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

    Published 1989
    Book Interlibrary loan Place Request


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

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

    Published 1988
    Book Interlibrary loan Place Request


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

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

    Published 1988
    Book Interlibrary loan Place Request


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

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

    Published 1987
    Book Interlibrary loan Place Request


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

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

    Published 1981
    Book Interlibrary loan Place Request


    Saved 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 by Engels, Gregor 1955-, Pletat, Udo, Ehrich, Hans-Dieter 1943-

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Knowledge in operation

    Knowledge in operation by Bollinger, Toni, Pletat, Udo

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Modularizing knowledge in LILOG

    Modularizing knowledge in LILOG by Pletat, Udo

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    The LILOG knowledge representation system

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

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    An algebraic characterization of STUF

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

    Published 1988
    Book Interlibrary loan Place Request


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

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

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Die Semantik des Softwareentwicklungsprozesses

    Die Semantik des Softwareentwicklungsprozesses by Pletat, Udo

    Published 1984
    Thesis Book Interlibrary loan Place Request


    Saved in:

Search Tools: