Importo totale (1 articolo articoli):
Destinazione ordine:
intelligent computer mathematics cicm (112 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (112)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (89)
- Come nuovo, Ottimo o Quasi ottimo (20)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (112)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (42)
- Non Print on Demand (103)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19¿23, 2022, Proceedings
Editore: Springer International Publishing, 2022
ISBN 10: 3031166809 ISBN 13: 9783031166808
Lingua: Inglese
EUR 39,79
Convertire valutaEUR 9,90 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Editore: Springer International Publishing, 2016
ISBN 10: 3319425463 ISBN 13: 9783319425467
Lingua: Inglese
EUR 44,94
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on Intelligent Computer Mathematics, CICM 2016, held inBialystok, Poland, in July 2016.The 10 full papers and 2 short papers presentedwere carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topicalsections according to the five tracks of the conference:Calculemus; Digital Mathematics Libraries; Mathematical KnowledgeManagement; Surveys and Projects; and Systems and Data.
-
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5â"8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 55,16
Convertire valutaEUR 12,44 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
-
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,27
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montrà al, QC, Canada, August 5â"9, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,58
Convertire valutaEUR 12,44 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
-
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642393195 ISBN 13: 9783642393198
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
-
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642313736 ISBN 13: 9783642313738
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.
-
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19¿23, 2022, Proceedings
Editore: Springer International Publishing, 2022
ISBN 10: 3031166809 ISBN 13: 9783031166808
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
-
Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26¿31, 2021, Proceedings
Editore: Springer International Publishing, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021\*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.\* The conference was held virtually due to the COVID-19 pandemic.
-
Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 331908433X ISBN 13: 9783319084336
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.
-
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26¿31, 2020, Proceedings
Editore: Springer International Publishing, 2020
ISBN 10: 3030535177 ISBN 13: 9783030535179
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020\*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. \* The conference was held virtually due to the COVID-19 pandemic.
-
Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8¿12, 2019, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030232492 ISBN 13: 9783030232498
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, theirintegration can lead to synergies offering significant added value.
-
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319968114 ISBN 13: 9783319968117
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
-
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319620746 ISBN 13: 9783319620749
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Editore: Springer International Publishing, 2015
ISBN 10: 3319206141 ISBN 13: 9783319206141
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.
-
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,28
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,28
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ... (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,28
Convertire valutaEUR 10,35 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Intelligent Computer Mathematics : Mkm, Calculemus, Dml, and Systems and Projects 2013, Held As Part of Cicm 2013, Bath, Uk, July 8-12, 2013, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,79
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,79
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : International Conference, Cicm 2015, Washington, Dc, USA, July 13-17, 2015, Proceedings.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,81
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : 10th International Conference, Cicm 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,81
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,18
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : Cicm 2014 Joint Events: Calculemus, Dml, Mkm, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,20
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Intelligent Computer Mathematics : 11th International Conference, AISC 2012 / 19th Symposium, Calculemus 2012 / 5th International Workshop, DML 2012 / 11th International Conference, MKM 2012 / Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,20
Convertire valutaEUR 17,15 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
