Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Lecture Notes in Computer Science -  - Knjige - Springer International Publishing AG - 9783319620749 - 29. junija 2017
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 23. nov - 1. dec
Božična darila lahko vrnete do 31. januarja
Dodaj na svoj seznam želja iMusic

Not rated yet

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;


375 pages, 81 Illustrations, black and white; XVIII, 375 p. 81 illus.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 29. junija 2017
ISBN13 9783319620749
Založniki Springer International Publishing AG
Strani 375
Dimenzije 150 × 220 × 10 mm   ·   5,97 kg
Jezik Nemščina  
Urednik England, Matthew
Urednik Geuvers, Herman
Urednik Hasan, Osman
Urednik Rabe, Florian
Urednik Teschke, Olaf

Več od istega **izdajatelja**