Logic Computer programming - Congresses.

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (Electronic resources)

Software Engineering.

Artificial Intelligence (incl. Robotics)

Artificial intelligence

Computer logic

Logic Computer programming

Software engineering

Programming Techniques.

Computer Science.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.