Ir al contenido

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated
Foto de archivo: la portada puede ser diferente

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

de Franz Baader

  • Nuevo
  • Tapa blanda
Estado
Nuevo
ISBN 10
3540405593
ISBN 13
9783540405597
Librería
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Southport, Merseyside, United Kingdom
10 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Precio
EUR 72.05
O solamente EUR 64.84 con un
Membresía Biblioclub
EUR 11.92 Envío a USA
Envío estándar: de 14 a 21 días

Más opciones de envío

Formas de pago aceptadas

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

Sobre este artículo

Paperback / softback. New. The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

Reseñas

Iniciar sesión or Crear una cuenta primero!)

¡Estás clasificando este libro como un obra, no al vendedor ni la copia específica que has comprado!

Detalles

Librería
The Saint Bookstore GB (GB)
Inventario del vendedor #
B9783540405597
Título
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Autor
Franz Baader
Formato/Encuadernación
Paperback / softback
Estado del libro
Nuevo
Cantidad disponible
10
Encuadernación
Tapa blanda
ISBN 10
3540405593
ISBN 13
9783540405597
Editorial
Springer
Primera fecha de publicación de esta edición
September 10, 2003

Términos de venta

The Saint Bookstore

Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Sobre el vendedor

The Saint Bookstore

Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Miembro de Biblio desde 2018
Southport, Merseyside

Sobre The Saint Bookstore

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Glosario

Algunos términos que podrían usarse en esta descripción incluyen:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-