Greg Nelson
E2194715
UNEXPLORED
Greg Nelson was an American computer scientist known for his influential work in automated theorem proving and decision procedures, including co-developing the Nelson–Oppen combination method.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Greg Nelson canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.