Artificial intelligence - Congresses. - Mathematics

Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / …で: (コンピュータ・メディア)

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.