語系:
繁體中文
English
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Automatic theorem proving - Congresses.
概要
作品:
1 作品在 0 項出版品 0 種語言
書目資訊
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
主題
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Computer logic
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入