Showing 1 - 17 results of 17 for search 'Schmitt, Peter H.', query time: 0.05s 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
    Theorie der logischen Programmierung eine elementare Einführung

    Theorie der logischen Programmierung eine elementare Einführung by Schmitt, Peter H. 1948-

    Published 1992
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Theorie der logischen Programmierung Eine elementare Einführung

    Theorie der logischen Programmierung Eine elementare Einführung by Schmitt, Peter H.

    Published 1992

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90

    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90

    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A calculus for order sorted predicate logic with sort literals

    A calculus for order sorted predicate logic with sort literals by Hedtstück, Ulrich 1951-, Schmitt, Peter H. 1948-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Eine dreiwertige Logik zur Verarbeitung partieller Information

    Eine dreiwertige Logik zur Verarbeitung partieller Information by Schmitt, Peter H. 1948-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Theorie der logischen Programmierung eine elementare Einführung

    Theorie der logischen Programmierung eine elementare Einführung by Schmitt, Peter H. 1948-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Tableau calculus for order sorted logic

    Tableau calculus for order sorted logic by Schmitt, Peter H. 1948-, Wernecke, Wolfgang

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Computational aspects of three-valued logic

    Computational aspects of three-valued logic by Schmitt, Peter H. 1948-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A formal operational semantics for PROLOG III using dynamic algebras

    A formal operational semantics for PROLOG III using dynamic algebras by Börger, Egon, Schmitt, Peter H. 1948-

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Mathematical logic and artificial intelligence

    Mathematical logic and artificial intelligence by Schmitt, Peter H. 1948-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90

    Die Negation im logischen Programmieren und ihre Beziehung zu nicht monotonen Logiken Seminar WS 89/90 by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R.

    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken

    Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken by Schmitt, Peter H. 1948-, Dix, Jürgen 1961-, Hähnle, R., Dix, Jürgen 1961-

    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Systems and Implementation Techniques

    Systems and Implementation Techniques

    Published 1998
    Other Authors:

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  17. 17
    Applications

    Applications

    Published 1998
    Other Authors:

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: