Logic Computer programming - Congresses.

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

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Computer logic

Computer Science.

Logic Computer programming

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Programming Languages, Compilers, Interpreters.

Programming Techniques.

Software engineering

Software Engineering.