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 Tapa blanda - 2003 - 2003rd Edición
de Franz Baader (Editor)
Detalles
- 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 (Editor)
- Encuadernación Tapa blanda
- Número de edición 2003rd
- Edición 2003
- Páginas 512
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación 2003-07-16
- ISBN 9783540405597 / 3540405593
- Peso 1.6 libras (0.73 kg)
- Dimensiones 9.21 x 6.14 x 1.05 pulgadas (23.39 x 15.60 x 2.67 cm)
- Número de catálogo de la Librería del Congreso de EEUU 2003057323
- Dewey Decimal Code 006.3
Más ejemplares
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
de Franz Baader
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Cantidad disponible
- 646
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 58.88EUR 9.61 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.
Precio
EUR 58.88
EUR 9.61
enviando a USA
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 ... / Lecture Notes in Artificial Intelligence)
de Baader, Franz [Editor]
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 47.19EUR 5.68 enviando a USA
Mostrar detalles
Descripción:
Springer, 2003-09-10. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Precio
EUR 47.19
EUR 5.68
enviando a USA
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
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 72.31EUR 11.97 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 72.31
EUR 11.97
enviando a USA
Foto de archivo: la portada puede ser diferente
Automated Deduction - CADE-19
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Cantidad disponible
- 4
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 200.19EUR 3.78 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 524 . Papeback. New.
Precio
EUR 200.19
EUR 3.78
enviando a USA