Larry Wos
E140203
UNEXPLORED
Larry Wos was a pioneering American mathematician and computer scientist known for his groundbreaking work in automated theorem proving.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.