语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Deontic logic - Congresses.
概要
作品:
1 作品在 1 项出版品 1 种语言
书目信息
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(书目-语言数据,印刷品)
主题
Mathematical Logic and Formal Languages.
Deontic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer logic
Computer Appl. in Administrative Data Processing.
Computer Science.
Discrete Mathematics in Computer Science.
处理中
...
变更密码
登入