pioneer in automated theorem proving
C47400
concept
A pioneer in automated theorem proving is an individual who makes foundational contributions to the theory, design, or implementation of systems that enable computers to automatically generate and verify mathematical proofs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| pioneer in automated theorem proving canonical | 1 |
Instances (1)
| Instance | Via concept surface |
|---|---|
|
Wos
surface form:
Larry Wos
|
— |