F. C. Oglesby
From MaRDI portal
Person:3281060
Available identifiers
zbMath Open oglesby.f-cMaRDI QIDQ3281060
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Semi-Automated Mathematics | 1969-01-01 | Paper |
| An examination of a decision procedure | 1962-01-01 | Paper |
| Report: an examination of a decision procedure | 1961-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: F. C. Oglesby
