ID:DA02084420
Automatic Theorem Proving, Special Session on
Session on Automatic Theorem Proving, Special
同姓同名の著者を検索
W.W. Bledsoe and D.W. Loveland, editors
American Mathematical Society c1984 Contemporary mathematics v. 29
: pbk
所蔵館60館