Automatic theorem proving - Congresses.

概要
作品: 82 作品在 22 項出版品 22 種語言
書目資訊
Automated theorem proving : = after 25 years / by: (書目-語言資料,印刷品)
Proof technology and computation by: (書目-語言資料,印刷品)
更多
主題
 
 
變更密碼
登入