語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
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
處理中
...
變更密碼
登入