语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
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.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer Science.
处理中
...
变更密码
登入