Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Intelligent Computer Mathematics

Language

English

Book Paperback

Libristo code: 16402386

Publishers Springer International Publishing AG, June 2017

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent C... Full description

Libristo code: 16402386

136 b

19 940 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Grund- und Aufbauwortschatz Französisch Thér

Paperback

7 372 Ft

Mécanique mort SEBASTIEN RAIZER

Paperback

8 562 Ft

Brumi Mackóvárosban Bodó Béla

Hardback

4 279 Ft

Autodesk Inventor 2022 - Grundlagen in Theorie und Praxis Christian Schlieder

Paperback

9 396 Ft

Ekhö - Spiegelwelt. Band 13 Christophe Arleston

Hardback

5 978 Ft

Gruselkabinett - Folge 154 William Hope Hodgson

Audio CD

3 996 Ft

Vergissmeinnicht Pia Mester

Paperback

4 598 Ft

Mercedes-Benz 200 E in Havanna - Ein Motiv aus dem Kalender "STERN-STUNDEN IN HAVANNA - MERCEDES-BENZ AUF KUBA" (Puzzle) Henning von Löwis of Menar

Game

12 202 Ft

Gastronomía y nutrición Javier Martínez Monzó

Paperback

11 470 Ft

Pfarrer Braun (12)-Braun unter Verdach Ottfried Fischer

DVD

5 288 Ft

Rhetorik Michael Henrich

Paperback

3 908 Ft

James Bond Retro (Puzzle)

Game

4 788 Ft

Historia de Dios, Tu Historia Lucado

Paperback

4 830 Ft

Mesures de Conductivit Thermique Haute Temp rature Vincent Scoarnec

Paperback

17 004 Ft

Datenbanksysteme Theo Härder

Paperback

20 074 Ft

Malaiische Marchen Paul Hambruch

Hardback

10 410 Ft

Protokoll Konstantin Putschli

Paperback

6 284 Ft

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 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.