Language:
English
繁體中文
Help
圖資館首頁
Login
Jump To :
Overview
Titles
Subjects
Proof theory - Data processing.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
The Seventeen Provers of the WorldForeword by Dana S. Scott /
by:
(Electronic resources)
A proof theory for description logics
by:
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Description logics.
Proof theory
Computer Science.
Processing
...
Change password
Login