Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2014
Genre:	EDV / Informatik
	Artificial Intelligence / C / computer science / Computer science—Mathematics / Data Warehousing / Formal Languages and Automata Theory / Information Retrieval / Information Storage and Retrieval / Math Applications in Computer Science / Mathematical & statistical software / Mathematical Applications in Computer Science / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Maths for computer scientists / Natural language & machine translation / Natural language processing (Computer science) / Natural Language Processing (NLP) / Symbolic and Algebraic Manipulation mehr...
ISBN:	9783319084336
EAN-Code:	9783319084336
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #8543 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	7197 gr
Seiten:	460
Illustration:	XX, 460 p. 111 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.