First-Order Logic and Automated Theorem Proving

Fitting, Melvin

5 valoraciones de Goodreads

Idioma: inglés

Editorial: Springer 2013-06, 2013

1461275156 / 9781461275152

Serie: Libro 28 de 83 - Texts in Computer Science

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

Vendedor de 5 estrellas

Vendedor de IberLibro desde 2 de agosto de 2010

Tapa blanda

Condición: Nuevo

EUR 101,61

Envío por EUR 7,67 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 20 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

N° de ref. del artículo 6666-IUK-9781461275152

Título
First-Order Logic and Automated Theorem Proving
Autor
Fitting, Melvin
Editorial
Springer 2013-06
Año de publicación
2013
Estado
New
Encuadernación
PF
Idioma
inglés
ISBN 10
1461275156
ISBN 13
9781461275152
Edición
2ª Edición
Serie
Libro 28 de 83: Texts in Computer Science

Chiron Media

Wallingford, Reino Unido

Vendedor de 5 estrellas

Vendedor de IberLibro desde 2 de agosto de 2010

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 24 a 38 días hábilesDe 24 a 38 días hábiles
Primer artículoEUR 7,67EUR 7,67
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Información empresarial del vendedor

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Reino Unido RG30 1DZ