語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Description logics.
概要
作品:
3 作品在 3 項出版品 3 種語言
書目資訊
A proof theory for description logics
by:
(書目-電子資源)
Description logics in multimedia reasoning
by:
(書目-電子資源)
R-calculus.V,Description logics
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Image Processing and Computer Vision.
Mathematical Logic and Foundations.
Mathematics of Computing.
Multimedia systems.
Calculus.
Logic in AI.
Description logics.
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Big Data.
Formal Languages and Automata Theory.
Proof theory
Computer Science.
Discrete Mathematics in Computer Science.
Mathematical Modeling and Industrial Mathematics.
處理中
...
變更密碼
登入