Showing 1 - 5 results of 5 for search 'Stickel, Mark E.', query time: 0.03s 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
    D. W. Loveland and M. E. Stickel

    D. W. Loveland and M. E. Stickel by Loveland, Donald W. 1934-, Stickel, Mark E.

    Published 1973
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction

    Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction by Stickel, Mark E.

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Mechanical theorem proving and artificial intelligence languages

    Mechanical theorem proving and artificial intelligence languages by Stickel, Mark E.

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Mechanical theorem proving and artificial intelligence languages

    Mechanical theorem proving and artificial intelligence languages by Stickel, Mark E.

    Published 1977
    Microfilm Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

    Published 1990
    Other Authors: “…Stickel, Mark E.…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: