Importe total (1 artículo artículos):
Destino del pedido:
intelligent computer mathematics 16th (21 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (21)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (16)
- Como nuevo, Excelente o Muy bueno (5)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (21)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (7)
- No impresión bajo demanda (19)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,73
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Cana (Paperback or Softback)
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Cana. Book.
-
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Lecture Notes in Computer Science, 5625)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 61,42
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,26
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Lecture Notes in Computer Science, 5625)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,41
Envío por EUR 14,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,88
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: 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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,40
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 67,59
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 87,01
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings (Lecture Notes in Computer Science, 14101)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,98
Envío por EUR 14,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,97
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Intelligent Computer Mathematics : 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,75
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5?8, 2023 Proceedings: 14101 (Lecture Notes in Artificial Intelligence)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 115,34
Envío por EUR 3,50
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 344.
-
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Idioma: Inglés
Publicado por Springer, Springer Spektrum, 2009
ISBN 10: 3642026133 ISBN 13: 9783642026133
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,87
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Intelligent Computer Mathematics | 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,40
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Intelligent Computer Mathematics | 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings | Jacques Carette (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642026133 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.
-
Intelligent Computer Mathematics: 16th International Conference, Cicm 2023, Cambridge, Uk, September 4-8, 2023, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2023
ISBN 10: 3031427521 ISBN 13: 9783031427527
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 121,59
Envío por EUR 14,67
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 341 pages. 9.25x6.10x0.72 inches. In Stock.
-
Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10: 3031427521 ISBN 13: 9783031427527
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 80,24
Envío por EUR 62,61
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 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.
-
Intelligent Computer Mathematics | 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 72,85
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Intelligent Computer Mathematics | 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings | Catherine Dubois (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2023 | Springer | EAN 9783031427527 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,86
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 516 | Sprache: Englisch | Produktart: Bücher | 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.
-
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5?8, 2023 Proceedings: 14101 (Lecture Notes in Artificial Intelligence)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 118,85
Envío por EUR 7,63
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 344.
-
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5?8, 2023 Proceedings: 14101 (Lecture Notes in Artificial Intelligence)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 118,75
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 344.
