Search Results - Plotkin, G. 1946-

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    Cover Image

    Proof, language, and interaction: essays in honour of Robin Milner

    Published 2000
    Other Authors: “…Plotkin, G. 1946-…”
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

    Logical frameworks

    Published 1991
    Other Authors: “…Plotkin, G. 1946-…”
    Read online
    eBook


    Saved in:
  3. 3
    Cover Image

    Logical frameworks

    Published 1991
    Other Authors: “…Plotkin, G. 1946-…”

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Electronic eBook


    Saved in:

Search Tools: