语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Propositional calculus-Congres
概要
作品:
1 作品在 1 项出版品 1 种语言
书目信息
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
by:
(书目-语言数据,印刷品)
主题
Propositional calculus-Congres
Decision making -- Congresses
Computer algorithms-Congresses
处理中
...
变更密码
登入