跳至 : 概要 | 書目資訊 | 主題

Bledsoe, W. W.

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Automated theorem proving : = after 25 years / by: Bledsoe, W. W.; Loveland, Donald W.; American Mathematical Society.; Special Session on Automatic Theorem Proving ((1983 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入