語系: 繁體中文

說明(常見問題)

登入

跳至 : 概要書目資訊主題

Logic Computer programming - Congresses.

概要

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

書目資訊

Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

主題

Artificial intelligence

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logic Computer programming

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

變更密碼

登入