Search Results - Gordon, Michael J. C. 1948-

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Programming language theory and its implementation applicative and imperative paradigms

    Programming language theory and its implementation applicative and imperative paradigms by Gordon, Michael J. C. 1948-

    Published 1988
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '...

    Published 1993
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: