Search Results - "Progress in computer science and applied logic"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    A proof theory for general unification by Snyder, Wayne 1955 - .

    Published 1991
    “…Progress in Computer Science and Applied Logic…”
    Click Here to View Status and Holdings.
    Unknown
  2. 2

    Logical methods in honor of Anil Nerode's sixtieth birthday

    Published 1993
    “…Progress in computer science and applied logic…”
    Click Here to View Status and Holdings.
    Unknown