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 for search 'Wos, Larry', query time: 0.01s Refine Results
  1. 1
    Automated Reasoning: 33 Basic Research Problems
    by Wos, Larry
    Published 1988
    Printed Book
  2. 2
    Automated reasoning: 33 basic research problems
    by Wos, Larry
    Published 1988
    Printed Book
Search Tools: Get RSS Feed — Email this Search