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 - 3 results of 3 for search 'Wos, Larry', query time: 0.01s Refine Results
  1. 1
    Automated reasoning introduction and applications
    by Wos, Larry
    Published 1984
    Book
  2. 2
    Automated reasonic 33 basic research problems
    by Wos, Larry
    Published 1988
    Book
  3. 3
    Automated reasoning and the discovery of missing and elegant proofs
    by Wos, Larry
    Published 2003
    Book
Search Tools: RSS Feed – Email Search