語系
Agotnes, Thomas.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dynamics, uncertainty and reasoning = The Second Chinese Conference on Logic and Argumentation /
by:
Wang, Yi N.; Agotnes, Thomas.; Liao, Beishui.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
Elgesem, Dag.; SpringerLink (Online service); Broersen, Jan.; Agotnes, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Computer logic
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer Appl. in Administrative Data Processing.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Deontic logic