URI(s)
Variants
- Boyer, R. S. (Robert S.)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His A computational logic, 1979:t.p. (Robert S. Boyer; SRI International, Menlo Park, Calif.)
- found: Correctness problem in computer science, 1981:t.p. (R. S. Boyer)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1979-07-02: new
- 1984-03-22: revised
Alternate Formats