Artificial intelligence - Congresses. - Mathematics

Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (Electronic resources)

Artificial intelligence

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Document Preparation and Text Processing.

Information Storage and Retrieval.

Computer science

Computer Science.

Math Applications in Computer Science.

Symbolic and Algebraic Manipulation.

Artificial intelligence

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Document Preparation and Text Processing.

Information Storage and Retrieval.

Computer science

Computer Science.

Math Applications in Computer Science.

Symbolic and Algebraic Manipulation.

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters.

Computer science

Computer Science.

Simulation and Modeling.