Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 32,23
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 32,23
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
EUR 33,66
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 28,57
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: ALLBOOKS1, Direk, SA, Australia
EUR 35,16
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
EUR 29,99
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Pages cornées. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Dog-eared pages. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,40
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,40
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,40
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Publicado por Springer International Publishing AG, Cham, 2018
ISBN 10: 3319968114 ISBN 13: 9783319968117
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 55,73
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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. This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 55,73
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively. Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a track on Systems and Projects descriptions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3642393195 ISBN 13: 9783642393198
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 55,73
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030232492 ISBN 13: 9783030232498
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 55,74
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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, their integration can lead to synergies offering significant added value. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,42
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,42
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,78
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2009
ISBN 10: 3642026133 ISBN 13: 9783642026133
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
EUR 56,11
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software. As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,61
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer International Publishing AG, Cham, 2022
ISBN 10: 3031166809 ISBN 13: 9783031166808
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Original o primera edición
EUR 56,12
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,80
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,80
Convertir monedaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,80
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.