Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
899,95 kr.

Bag om Intelligent Computer Mathematics

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;

Vis mere

Sprog:
Engelsk

ISBN:
9783319620749

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
375

Udgivet:
29. juni 2017

Udgave:
12017

Størrelse:
155x235x0 mm.

Vægt:
5971 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
899,95 kr. + Fragt
~~899,95 kr.~~

Medlemspris

849,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Intelligent Computer Mathematics

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;

Brugerbedømmelser af Intelligent Computer Mathematics

Andre købte også..

Find lignende bøger

Bogen Intelligent Computer Mathematics findes i følgende kategorier:

Business og læring > Computer og IT

Intelligent Computer Mathematics - Bog

Beskrivelse af Intelligent Computer Mathematics

Brugerbedømmelser af Intelligent Computer Mathematics

Gør som tusindvis af andre bogelskere