Importe total (1 artículo artículos):
Destino del pedido:
schmidt renate a (86 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (86)
- 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 (67)
- Como nuevo, Excelente o Muy bueno (11)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (4)
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (44)
- No impresión bajo demanda (66)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 25,82
Envío por EUR 2,28
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.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,63
Envío por EUR 2,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Second-order Quantifier Elimination
Idioma: Inglés
Publicado por College Publications, GB, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 29,00
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
RUGIA Journal Jahrgang 1996.
Idioma: Alemán
Publicado por Bergen / Rügen, Selbstverlag,
Librería: ABC Antiquariat, Einzelunternehmen, Stralsund, MV, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,00
Envío por EUR 17,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8° , Broschiert. Condición: Gut. 128 Seiten, Einband mit kleineren Gebrauchsspuren, Kopfschnitt etwas stockfleckig, Zustand gut Sprache: Deutsch Gewicht in Gramm: 340.
-
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Librería: KULTur-Antiquariat, Boizenburg, MV, Alemania
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 24,80
Envío por EUR 17,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 1. Auflage,. 308 Seiten, Buch gut erhalten, Einband berieben. Ehemaliges Bibliotheksexemplar mit üblichen Stempelungen, Aufklebern und/oder Einträgen sowie foliertem Einband. Aufkleberreste auf der unteren Hälfte des Buches. Auf Titelei Namenseintrag. ISBN: 9781904987567 Sprache: Englisch Gewicht in Gramm: 520.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 24,88
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Second-Order Quantifier Elimination : Foundations, Computational Aspects and Applications
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 28,22
Envío por EUR 17,38
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.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings, Part I
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 69,37
Envío por EUR 3,45
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 3?6, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,97
Envío por EUR 2,28
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 73,33
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: 5 de 5 estrellas
EUR 68,55
Envío por EUR 6,80
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.
-
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006: Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,15
Envío por EUR 2,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
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,72
Envío por EUR 2,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006: Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,22
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
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,70
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 with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, ... (Lecture Notes in Artificial Intelligence)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,86
Envío por EUR 13,88
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 68,54
Envío por EUR 17,38
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,75
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 with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Bras�lia, Brazil, September 25-28, 2017, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 69,67
Envío por EUR 17,95
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
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 75,15
Envío por EUR 13,88
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
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 89,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. 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 76,79
Envío por EUR 17,38
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.
-
Stolpersteine in Frankfurt am Main: Zehn Rundgänge (Band 1)
Librería: buchlando-buchankauf, Neumünster, SH, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 12,00
Envío por EUR 35,10
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Sehr gut. 196 Seiten; Zustand geprÃft. Sehr gut erhalten RH 138293 Sprache: Deutsch Gewicht in Gramm: 500.
-
Automated Reasoning With Analytic Tablea
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 85,94
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Automated Deduction - CADE-22
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2009
ISBN 10: 3642029582 ISBN 13: 9783642029585
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Bras?lia, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 99,77
Envío por EUR 3,45
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 357.
-
Second-order Quantifier Elimination
Idioma: Inglés
Publicado por College Publications, GB, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 26,21
Envío por EUR 75,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3¿6, 2024, Proceedings, Part I
Idioma: Inglés
Publicado por Springer Nature Switzerland, 2024
ISBN 10: 3031634977 ISBN 13: 9783031634970
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,79
Envío por EUR 63,75
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 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 : 12TH INTERNATIONAL
Librería: Speedyhen, Hertfordshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,95
Envío por EUR 47,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: NEW.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Idioma: Inglés
Publicado por Springer International Publishing, 2017
ISBN 10: 331966901X ISBN 13: 9783319669014
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 61,55
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
