Andere Kunden interessierten sich auch für
![Intelligent Computer Mathematics]( "Intelligent Computer Mathematics")
Intelligent Computer Mathematics37,99 €![Artificial Intelligence and Symbolic Computation]( "Artificial Intelligence and Symbolic Computation")
Artificial Intelligence and Symbolic Computation37,99 €![PRIMA 2015: Principles and Practice of Multi-Agent Systems]( "PRIMA 2015: Principles and Practice of Multi-Agent Systems")
PRIMA 2015: Principles and Practice of Multi-Agent Systems38,99 €![Logic for Programming, Artificial Intelligence, and Reasoning]( "Logic for Programming, Artificial Intelligence, and Reasoning")
Logic for Programming, Artificial Intelligence, and Reasoning85,99 €![Automated Reasoning with Analytic Tableaux and Related Methods]( "Automated Reasoning with Analytic Tableaux and Related Methods")
Automated Reasoning with Analytic Tableaux and Related Methods42,99 €![Computer Aided Systems Theory - EUROCAST 2001]( "Computer Aided Systems Theory - EUROCAST 2001")
Computer Aided Systems Theory - EUROCAST 200183,99 €![Artificial Intelligence, Automated Reasoning, and Symbolic Computation]( "Artificial Intelligence, Automated Reasoning, and Symbolic Computation")
Artificial Intelligence, Automated Reasoning, and Symbolic Computation42,99 €
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.