Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994

Editorial: Springer-Verlag (1994), Berlin / Heidelberg, 1994

3540584501 / 9783540584506

  • Tapa blanda
  • Usado
Ver todos los detalles
Vendedor patrimonial

Librería: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DinamarcaExpatriate Bookshop of Denmark/John Jackson Books

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 6 de diciembre de 1998

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado

EUR 53,35

Envío por EUR 59,00 
Se envía de Dinamarca a Estados Unidos de America

Cantidad disponible: 1 disponibles

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

Descripción del artículo del vendedor

24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".

N° de ref. del artículo 027483

Título
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994
Autor
Melham, Thomas F. ; & Camilleri, Juanito ; editors :
Editorial
Springer-Verlag (1994), Berlin / Heidelberg
Año de publicación
1994
Estado
Minor wear. VG.
Encuadernación
orig. wrappers
ISBN 10
3540584501
ISBN 13
9783540584506
Catálogos de vendedores
Automatic Theorem Proving

Expatriate Bookshop of Denmark/John Jackson Books

Svendborg, Dinamarca

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 6 de diciembre de 1998

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

ArtículoDe 27 a 52 días hábilesDe 31 a 53 días hábiles
Primer artículoEUR 59,00EUR 84,00
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
  • Efectivo
  • Giro bancario
  • Giro bancario
  • Giro postal

Especialidad

Social - Political & Religious Movements, Indian Subcontinent, Economic & Colonial History, Humanities & Social Sciences, Linguistics; Classical Philology; Archaeology, Anthropology & Comparative Religion, Africa; Asia; Latin America

Información empresarial del vendedor

Expatriate Bookshop of Denmark/John Jackson Books

Dinamarca