Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Jump To :
Overview
Titles
Subjects
Description logics.
Overview
Works:
3 works in 3 publications in 3 languages
Titles
A proof theory for description logics
by:
(Electronic resources)
R-calculus.. V,. Description logics
by:
(Electronic resources)
R-calculus, VI = finite injury priority method /
by:
(Electronic resources)
Subjects
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.
Processing
...
Change password
Login