Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27â "29, . (Lecture Notes in Artificial Intelligence)

ISBN 10: 3032060842 ISBN 13: 9783032060846
Editorial: Springer, 2025
Idioma: Inglés
Condición: Usado - Bueno Encuadernación de tapa blanda

Vendido por Books From California, Simi Valley, CA, Estados Unidos de America

Vendedor de AbeBooks desde 14 de agosto de 2001

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Usado - Bueno

Precio:
EUR 38,19
Envío por EUR 4,38
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito