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 - 2 results of 2
Refine Results
  1. 1
    Automated reasoning

    Automated reasoning by Wos, Larry

    Published 1984
  2. 2
    Automated reasoning : 33 basic research problems

    Automated reasoning : 33 basic research problems by Wos, Larry

    Published 1988

Search Tools: