语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Computer logic -- Congresses
概要
作品:
3 作品在 3 项出版品 3 种语言
书目信息
Computer science logic:17th international workshop CSL 2003...
by:
(书目-语言数据,印刷品)
Automated reasoning:second international joint conference,IJCAR 2004,Cork
by:
(书目-语言数据,印刷品)
Computer science logic: 18th international workshop,CSL 2004, 13th annual conference of the EACSL,Karpacz,Poland,...
by:
(书目-语言数据,印刷品)
主题
Computer logic -- Congresses
Computer logic -- Congresses
Automatic theorem proving-Cong
Computer logic -- Congresses
处理中
...
变更密码
登入