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…