A Computing Procedure for Quantification Theory
The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for obtaining mathematical theorems goes back to Leib...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 2,574
External Links
Identifiers
- ORCID
- 0000-0001-6621-8115
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.