Search Results - Wos, Larry

Larry Wos

Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory. Provided by Wikipedia
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    The automation of reasoning an experimenter's notebook with OTTER tutorial

    The automation of reasoning an experimenter's notebook with OTTER tutorial by Wos, Larry

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Automated reasoning 33 basic research problems

    Automated reasoning 33 basic research problems by Wos, Larry

    Published 1988
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    A fascinating country in the world of computing your guide to automated reasoning

    A fascinating country in the world of computing your guide to automated reasoning by Wos, Larry

    Published 1999
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Automated reasoning introduction and applications

    Automated reasoning introduction and applications

    Published 1992
    Other Authors: “…Wos, Larry…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: