语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Proof theory
概要
作品:
2 作品在 2 项出版品 2 种语言
书目信息
Utilizing problem structure in planning:a local search approach
by:
(书目-语言数据,印刷品)
Advances in proof theory[electronic resource] /
by:
(书目-语言数据,印刷品)
主题
Planning-Methodology
Proof theory
Problem solving
Mathematical Logic and Foundations.
Logic.
Mathematics.
Proof theory
处理中
...
变更密码
登入