| LC control no. | n 79073003 |
|---|---|
| Personal name heading | Boyer, Robert S. |
| Variant(s) | Boyer, R. S. (Robert S.) |
| Found in | His A computational logic, 1979: t.p. (Robert S. Boyer; SRI International, Menlo Park, Calif.) Correctness problem in computer science, 1981: t.p. (R. S. Boyer) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
