Logic Computer programming - Congresses.

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

Software Engineering.

Logic Computer programming

Computer logic

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Software engineering

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.