Foto de archivo: la portada puede ser diferente
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
de Didier Galmiche
- Nuevo
- Estado
- Nuevo
- ISBN 10
- 3642405363
- ISBN 13
- 9783642405365
- Librería
-
Uxbridge, Greater London, United Kingdom
416 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Ria Christie Collections
(GB)
- Inventario del vendedor #
- ria9783642405365_pod
- Título
- Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
- Autor
- Didier Galmiche
- Estado del libro
- Nuevo
- Cantidad disponible
- 416
- Encuadernación
- Tapa blanda
- ISBN 10
- 3642405363
- ISBN 13
- 9783642405365
- Editorial
- Springer
- Primera fecha de publicación de esta edición
- 2013
Términos de venta
Ria Christie Collections
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Sobre el vendedor
Ria Christie Collections
Miembro de Biblio desde 2014
Uxbridge, Greater London
Sobre Ria Christie Collections
Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections
