Free delivery for orders over 69.99 euro.

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 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

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

125 b

51.75 €

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

20.85 €

Mécanique mort SEBASTIEN RAIZER

Paperback

24.10 €

Brumi Mackóvárosban Bodó Béla

Hardback

11.03 €

Autodesk Inventor 2022 - Grundlagen in Theorie und Praxis Christian Schlieder

Paperback

24.20 €

Ekhö - Spiegelwelt. Band 13 Christophe Arleston

Hardback

15.28 €

Gruselkabinett - Folge 154 William Hope Hodgson

Audio CD

11.33 €

Vergissmeinnicht Pia Mester

Paperback

11.84 €

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

34.43 €

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

Paperback

32.30 €

Pfarrer Braun (12)-Braun unter Verdach Ottfried Fischer

DVD

13.76 €

Rhetorik Michael Henrich

Paperback

11.03 €

James Bond Retro (Puzzle)

Game

12.45 €

Historia de Dios, Tu Historia Lucado

Paperback

12.55 €

Mesures de Conductivit Thermique Haute Temp rature Vincent Scoarnec

Paperback

43.85 €

Datenbanksysteme Theo Härder

Paperback

51.95 €

Malaiische Marchen Paul Hambruch

Hardback

26.83 €

Protokoll Konstantin Putschli

Paperback

16.20 €

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.