Del 10383 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Häftad, Engelska, 2017

AvHerman Geuvers,Matthew England,Osman Hasan,Florian Rabe,Olaf Teschke

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;

Produktinformation

Utgivningsdatum2017-06-29
Mått155 x 235 x 22 mm
Vikt598 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor375
FörlagSpringer International Publishing AG
ISBN9783319620749

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Artificiell intelligens inom Data och IT

Calculemus track: integration of symbolic computation and mechanized reasoning.- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes.- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings.- Systems and Projects track: descriptions of systems and relevant projects as keys research topics.

Du kanske också är intresserad av

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Häftad

709 kr

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed

Häftad

889 kr