Search Results - Robinson, John A. 1930-2016

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

    Logic: form and function: the mechanization of deductive reasoning
    by Robinson, John A. 1930-2016

    Published 1979
    Book


    Saved in:
  2. 2
    Cover Image

    Logic programming, past, present and future
    by Robinson, John A. 1930-2016

    Published 1983
    Book


    Saved in:
  3. 3
    Cover Image

    Logic, form and function: the mechanization of deductive reasoning
    by Robinson, John A. 1930-2016

    Published 1979
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Resolution: [working material for the lectures of J. Alan Robinson, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]
    by Robinson, John A. 1930-2016

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Handbook of automated reasoning

    Published 2001
    Other Authors: “…Robinson, John A. 1930-2016…”
    Electronic eBook


    Saved in:

Search Tools: