Importe total (1 artículo artículos):
Destino del pedido:
9783031635007 - Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3?6, 2024, Proceedings, Part II: 14740 (Lecture Notes in Artificial Intell... (25 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (25)
- 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 (23)
- Como nuevo, Excelente o Muy bueno (2)
- 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 (25)
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 (8)
- 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 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,52
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Automated Reasoning
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 72,86
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Reasoning
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 68,30
Envío por EUR 6,78
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 75,75
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,16
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 2024 ed.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 68,29
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Automated Reasoning (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 86,20
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 88,63
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 2024 ed.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,88
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 76,81
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
AUTOMATED REASONING : 12TH INTERNATIONAL
Librería: Speedyhen, Hertfordshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,73
Envío por EUR 47,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: NEW.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 112,38
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2024th edition NO-PA16APR2015-KAP.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 36, 2024, Proceedings, Part II: 14740 (Lecture Notes in Computer Science, 14740)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,78
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer, Berlin|Springer Nature Switzerland|IJCAR Community|Springer, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 78,56
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 202.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 91,29
Envío por EUR 42,92
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 2024 ed.
-
Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 71,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. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2024 | Springer | EAN 9783031635007 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,17
Envío por EUR 63,32
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 - Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,07
Envío por EUR 75,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 2024 ed.
-
Automated Reasoning (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 131,90
Envío por EUR 31,76
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Automated Reasoning (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 3 de 5 estrellas
EUR 65,43
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 36, 2024, Proceedings, Part II: 14740 (Lecture Notes in Computer Science, 14740)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,47
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer, Berlin, Springer Nature Switzerland, IJCAR Community, Springer, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,17
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. 424 pp. Englisch.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 113,57
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 114,58
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.
-
Automated Reasoning
Idioma: Inglés
Publicado por Springer, Springer Jul 2024, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,17
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.
