Intelligent Computer Mathematics [[electronic resource] ] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
• Edizione: 1st ed. 2016.
• Descrizione fisica: 1 online resource (XIV, 163 p. 21 illus.)
• Disciplina: 004.0151
• Soggetto topico: Artificial intelligence; Mathematical logic; Computer logic; Software engineering; Programming languages (Electronic computers); Computer simulation; Artificial Intelligence; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling
• Persona (resp. second.): KohlhaseMichael; JohanssonMoa; MillerBruce; de MouraLeonardo; TompaFrank
• Sommario/riassunto: 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 selected from 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.
• Titolo autorizzato: Intelligent Computer Mathematics
• ISBN: 3-319-42547-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465701403316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 9791