语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
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
处理中
...
变更密码
登入