Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juli 2016
Genre:	EDV / Informatik
	Automatedreasoning / automatedtheoremproving / ComputationalLogic / computer-supportedtheoryexploration / computeralgebrasystems / Computermodellierung und -simulation / digitalmathematicallibraries / Formalization / formalizedmathematics / geometrictopology / higher-orderlogic / Intelligenz / Künstliche Intelligenz / KI / Knowledgebases / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / logicalproblems / Markovchain / mathematicalknowledgerepresentation / modelchecking / Petrinets / SatisfiabilityChecking / Software Engineering / symboliccomputation / Systems / theoremproving / Theoretische Informatik mehr...
ISBN:	9783319425467
EAN-Code:	9783319425467
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #9791 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 11 mm
Gewicht:	283 gr
Seiten:	180
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.