Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Intelligent Computer Mathematics

Lingua

Inglese

Libro In brossura

Codice Libristo: 16402386

Casa editrice Springer International Publishing AG, giugno 2017

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent C... Descrizione completa

Codice Libristo: 16402386

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Grund- und Aufbauwortschatz Französisch Thér

In brossura

21.59 €

Mécanique mort SEBASTIEN RAIZER

In brossura

24.79 €

Brumi Mackóvárosban Bodó Béla

Rigido

11.49 €

Autodesk Inventor 2022 - Grundlagen in Theorie und Praxis Christian Schlieder

In brossura

25.29 €

Ekhö - Spiegelwelt. Band 13 Christophe Arleston

Rigido

16.09 €

Gruselkabinett - Folge 154 William Hope Hodgson

CD audio

11.69 €

Vergissmeinnicht Pia Mester

In brossura

12.39 €

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

Gioco

35.79 €

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

In brossura

31.89 €

Pfarrer Braun (12)-Braun unter Verdach Ottfried Fischer

DVD

14.29 €

Rhetorik Michael Henrich

In brossura

11.39 €

James Bond Retro (Puzzle)

Gioco

12.89 €

Historia de Dios, Tu Historia Lucado

In brossura

12.99 €

Mesures de Conductivit Thermique Haute Temp rature Vincent Scoarnec

In brossura

45.79 €

Datenbanksysteme Theo Härder

In brossura

54.19 €

Malaiische Marchen Paul Hambruch

Rigido

27.99 €

Protokoll Konstantin Putschli

In brossura

16.89 €

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.