語系:
繁體中文
English
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Description logics.
概要
作品:
3 作品在 3 項出版品 3 種語言
書目資訊
Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
by:
(書目-語言資料,印刷品)
A proof theory for description logics
by:
(書目-語言資料,印刷品)
Description logics in multimedia reasoning
by:
(書目-語言資料,印刷品)
主題
Description logics.
Proof theory
Artificial Intelligence (incl. Robotics)
Multimedia systems.
Image Processing and Computer Vision.
Mathematical Applications in Computer Science.
Algorithms.
Mathematical Logic and Formal Languages.
Cylindric algebras.
Algebraic fields.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入