著者典拠情報

標目形：
Bledsoe, W. W.
属性：
Personal
注記：
Automated theorem proving, 1984: CIP t.p. (W.W. Bledsoe)
著者典拠ID：
DA02084431


 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. Automated theorem proving : after 25 years (: pbk.)
W.W. Bledsoe and D.W. Loveland, editors
出版情報: Providence, R.I. : American Mathematical Society, c1984
シリーズ名: Contemporary mathematics ; v. 29
所蔵情報: loading…