语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Logic, Symbolic and mathematic
概要
作品:
5 作品在 5 项出版品 5 种语言
书目信息
Predicate logic :the semantic foundations of logic
by:
(书目-语言数据,印刷品)
The diagonal infinity : problems of multiple scales
by:
(书目-语言数据,印刷品)
Automated deduction in geometry: 4th International Workshop,ADG 2002
by:
(书目-语言数据,印刷品)
Artificial intelligence and symbolic computation : 7th international conference,AISC 2004,...
by:
(书目-语言数据,印刷品)
Grammatical inference : algorithms and applications : 7th international colloquium,ICGI 2004,Athens,...
by:
(书目-语言数据,印刷品)
主题
Logic.
Logic, Symbolic and mathematic
Predicate (Logic)
Logic, Symbolic and mathematic
Infinite.
Mathematics -- Philosophy.
Logic, Symbolic and mathematic
Automatic theorem proving-Cong
Geometry-Data processing-Congr
Logic, Symbolic and mathematic
Artificial intelligence - Cong
Formal languages -- Congresses
Logic, Symbolic and mathematic
处理中
...
变更密码
登入