語系
Agotnes, Thomas.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Dynamics, uncertainty and reasoningThe Second Chinese Conference on Logic and Argumentation /
by:
Agotnes, Thomas.; Liao, Beishui.; SpringerLink (Online service); Wang, Yi N.
(書目-電子資源)
Deontic logic in computer science11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(1998 :); Agotnes, Thomas.; Broersen, Jan.; Elgesem, Dag.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Logic.
Deontic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer logic
Computer Appl. in Administrative Data Processing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.