Showing 1 - 2 results of 2 for search 'Ellison, Karen Starr', query time: 0.02s 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
    Higher-order theorem proving using n-sorted logic

    Higher-order theorem proving using n-sorted logic by Ellison, Karen Starr

    Published 1976
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Higher-order theorem proving using n-sorted logic

    Higher-order theorem proving using n-sorted logic by Ellison, Karen Starr

    Published 1976
    Microfilm Book Interlibrary loan Place Request


    Saved in:

Search Tools: