9783032060846 - automated reasoning with analytic tableaux and related methods: 34th international conference, tableaux 2025, reykjavik, iceland, september 27–29, ... (lecture notes in artificial intelligence) (18 resultados)
- Tapa blanda
Librería: Books From California, Simi Valley, CA, Estados Unidos de AmericaBooks From California
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 37,72
Envío por EUR 4,33Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: Very Good.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,86
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,23
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full papers included in this book were carefully reviewed and… selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 51,85
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,70
Envío por EUR 17,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 53,33
Envío por EUR 17,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 67,18
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa blanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,71
Envío por EUR 43,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full papers included in this book were carefully reviewed and… selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,85
Envío por EUR 14,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 471 pages. 9.26x6.11x9.25 inches. In Stock.
- Más imágenes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,79
Envío por EUR 63,84Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27 29, 2025.The 25 full papers incl…uded in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.
- Más imágenes
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 41,45
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings | Gian Luca Pozzato (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2025 | Springer | EAN 9783032060846 |… Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,27
Envío por EUR 32,11Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full papers included in this book were carefully reviewed and… selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
- Tapa blanda
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. Delivery takes 20-25 days. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,10
Envío por EUR 14,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 471 pages. 9.26x6.11x9.25 inches. In Stock. This item is printed on demand.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,79
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27 29, 2025.The 25…full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. 492 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 65,20
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 66,45
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,79
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.The 25 full…papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 512 pp. Englisch.
