Special Session on Automatic Theorem Proving
(1983)
人物別名
Automatic Theorem Proving, Special Session on
Session on Automatic Theorem Proving, Special
生年
1983年
没年
-
タイトル
著作者等
出版元
刊行年月
Automated theorem proving : after 25 years
W.W. Bledsoe and D.W. Loveland, editors
American Mathematical Society
c1984
この人物を:
書棚を選択して下さい
mixiチェック
ツイート
NACSIS-CAT著者名典拠
日本の古本屋(全国古書検索)
想-IMAGINE Book Search(関連情報検索)
情報を取得できませんでした。
件が連想されています
情報を取得できませんでした。
ページトップへ
トップページ
Webcat Plusとは?
FAQ