Idioma: Inglés
Publicado por World Scientific Publishing Company, 1997
ISBN 10: 9810229232 ISBN 13: 9789810229238
Librería: BOOKWEST, Phoenix, AZ, Estados Unidos de America
EUR 36,37
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. US SELLER SHIPS FAST FROM USA.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 49,48
Cantidad 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: Basi6 International, Irving, TX, Estados Unidos de America
EUR 49,48
Cantidad disponible: 1 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: Books Puddle, New York, NY, Estados Unidos de America
EUR 52,04
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 288.
EUR 48,96
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 288 Illus.
Idioma: Alemán
Publicado por Springer, Berlin/Heidelberg/New York, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
EUR 22,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 49,40
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 288.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 54,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 50,66
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,89
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2013
ISBN 10: 3642406718 ISBN 13: 9783642406713
Librería: Revaluation Books, Exeter, Reino Unido
EUR 70,19
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2013 edition. 202 pages. 9.20x6.10x0.50 inches. In Stock.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,82
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642406718 ISBN 13: 9783642406713
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 49,22
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Artificial Intelligence and Symbolic Computation | 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings | Jaques Calmet (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540397281 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Librería: Buchpark, Trebbin, Alemania
EUR 37,36
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 149,69
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions. This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 157,59
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031690419 ISBN 13: 9783031690419
Librería: Revaluation Books, Exeter, Reino Unido
EUR 176,67
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 154 pages. 9.25x6.10x9.25 inches. In Stock.
Librería: preigu, Osnabrück, Alemania
EUR 113,10
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Symbolic Computation in Software Science | 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings | Stephen M. Watt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2024 | Springer | EAN 9783031690419 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 176,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por World Scientific Publishing Company, 1997
ISBN 10: 9810229232 ISBN 13: 9789810229238
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 162,01
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 176,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 128,39
Cantidad 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 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions.The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 193,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 197,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.