著者典拠情報

標目形：
Boyer, Robert S.
属性：
Personal
から見よ参照形：
Boyer, R. S. (Robert S.)
注記：
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)
著者典拠ID：
DA0253447X


 close
1.

図書
図書
1. Automated reasoning : essays in honor of Woody Bledsoe
edited by Robert S. Boyer
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers Group, c1991
シリーズ名: Automated reasoning series ; v. 1
所蔵情報: loading…
2.

図書
図書
2. The Correctness problem in computer science
edited by R.S. Boyer and J. Strother Moore
出版情報: London ; New York : Academic Press, 1981
シリーズ名: International lecture series in computer science
所蔵情報: loading…
3.

図書
図書
3. A computational logic
Robert S. Boyer and J. Strother Moore
出版情報: New York : Academic Press, c1979
シリーズ名: ACM monograph series
所蔵情報: loading…