Showing 1 - 6 results of 6 for search 'Robinson, J. A. (John Alan)', query time: 0.04s Refine Results
  1. 1
    Logic, form and function : the mechanization of deductive reasoning

    Logic, form and function : the mechanization of deductive reasoning by Robinson, J. A. (John Alan)

    New York : North-Holland, 1979
    Format: Book


    Save to List
    Saved in:
  2. 2
    Logic : form and function : the mechanization of deductive reasoning

    Logic : form and function : the mechanization of deductive reasoning by Robinson, J. A. (John Alan)

    Edinburgh : University Press, 1979
    Format: Book


    Save to List
    Saved in:
  3. 3
    GAMMA I : a general theorem-proving program for the IBM 704

    GAMMA I : a general theorem-proving program for the IBM 704

    [Argonne? Ill.], 1961
    Other Authors: “…Robinson, J. A. (John Alan)…”
    Format: Government Document Book


    Save to List
    Saved in:
  4. 4
    Handbook of automated reasoning

    Handbook of automated reasoning

    Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, 2001
    Other Authors: “…Robinson, J. A. (John Alan)…”
    Format: Book


    Save to List
    Saved in:
  5. 5
    Natural and artificial parallel computation

    Natural and artificial parallel computation

    Cambridge, Mass. : MIT Press, 1990
    Other Authors:
    Format: Book


    Save to List
    Saved in:
  6. 6
    Handbook of logic in artificial intelligence and logic programming

    Handbook of logic in artificial intelligence and logic programming

    Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1993
    Other Authors:
    Format: Book


    Save to List
    Saved in:

Search Tools: