Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Agotnes, Thomas.

Overview

Works:	2 works in 1 publications in 1 languages

Titles

Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings / by: Agotnes, Thomas.; Broersen, Jan.; Elgesem, Dag.; SpringerLink (Online service) (Electronic resources)

Subjects

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.

Change password

Login