語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Automatic theorem proving-Cong
概要
作品:
4 作品在 4 項出版品 4 種語言
書目資訊
Logic for programming,artificial intelligence,and reasoning
by:
(書目-語言資料,印刷品)
Automated deduction in geometry: 4th International Workshop,ADG 2002
by:
(書目-語言資料,印刷品)
Automated deduction-CADE-19: 19th International conference on Automated Deduction ...
by:
(書目-語言資料,印刷品)
Automated reasoning:second international joint conference,IJCAR 2004,Cork
by:
(書目-語言資料,印刷品)
主題
Automatic theorem proving-Cong
Logic programming-Congresses
Logic, Symbolic and mathematic
Automatic theorem proving-Cong
Geometry-Data processing-Congr
Automatic theorem proving-Cong
Logic,Symbolic and mathematica
Computer logic -- Congresses
Automatic theorem proving-Cong
處理中
...
變更密碼
登入