語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

跳至 : 概要 | 書目資訊 | 主題

Agotnes, Thomas.

概要

作品:	2 作品在 1 項出版品 1 種語言

書目資訊

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) (書目-電子資源)

主題

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.

變更密碼

登入