著者典拠情報

標目形：
Moore, J. Strother, 1947-
属性：
Personal
日付：
1947-
から見よ参照形：
Moore, J. S
注記：
Boyer, R. S. A computational logic, 1979 (a.e.) t.p. (J. Strother Moore; SRI International, Menlo Park, Calif.)
Amer. men and women of sci.; physics, astronomy, math., stat., and comput. sci., 1977 (J. Strother Moore; b. 9/11/47)
WW in Amer., 1978-79; WW in the West, 1974-75
著者典拠ID：
DA02534480


 close
1.

図書
図書
1. 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…
2.

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