The Efficiency of Theorem Proving Strategies

Idioma: inglés

Editorial: Vieweg+Teubner Verlag, 1999

3528155744 / 9783528155742

Serie: Libro 27 de 27 - Computational Intelligence

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: moluna, Greven, Alemaniamoluna

Vendedor de 5 estrellas

Vendedor de IberLibro desde 9 de julio de 2020

Tapa blanda

Condición: Nuevo

EUR 47,23

Envío por EUR 48,99 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

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

Descripción del artículo del vendedor

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenwaertigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale und Logikprogrammierung.Yunshan Zhu ist.

N° de ref. del artículo 4867623

Título
The Efficiency of Theorem Proving Strategies
Autor
David A. Plaisted|Yunshan Zhu
Editorial
Vieweg+Teubner Verlag
Año de publicación
1999
Estado
New
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
3528155744
ISBN 13
9783528155742
Edición
2ª Edición
Serie
Libro 27 de 27: Computational Intelligence
Catálogos de vendedores
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 9 de julio de 2020

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 16 a 45 días hábilesDe 16 a 45 días hábiles
Primer artículoEUR 48,99EUR 48,99
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
  • Cheque
  • Giro bancario
  • PayPal

Descripción de la tienda

Online Handel nur mit Neubüchern

Información empresarial del vendedor

Moluna GmbH

Engberdingdamm 27
Greven, Alemania 48268

Aviso legal

Reconocimiento legal del oferente:

Moluna GmbH
Representadas por el gerente Helge Blischke
Engberdingdamm 27
48268 Greven
Alemania
Teléfono: 02571/5698933
Fax: 02571/5698930
E-Mail: abe@moluna.de
Identificación tributaria del impuesto a las ganancias: DE296281834
inscripto en el Registro Público de Comercio del Tribunal de Primera Instancia Steinfurt
Número HRB de Registro en el Registro Público de Comercio 10553

Somos miembros de la iniciativa « FairCommerce » desde 24.07.2015.
Para más información, consulte: www.haendlerbund.de/faircommerce.