語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Description logics.
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
A proof theory for description logics
by:
(書目-電子資源)
R-calculus.. V,. Description logics
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Mathematics of Computing.
Calculus.
Logic in AI.
Description logics.
Big Data.
Formal Languages and Automata Theory.
Computer Science.
Mathematical Modeling and Industrial Mathematics.
Proof theory- Data processing.
處理中
...
變更密碼
登入