| LC control no. | n 84027936 |
|---|---|
| Personal name heading | Bledsoe, W. W. |
| Variant(s) | Bledsoe, Woody |
| Found in | Automated theorem proving, 1984: CIP t.p. (W.W. Bledsoe) Automated reasoning, 1991: CIP t.p. (Woody Bledsoe) pref. (W.W. Bledsoe) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
