Ir al contenido

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 Tapa blanda - 2003 - 2003rd Edición

de Franz Baader (Editor)


Información de la editorial

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction, CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.

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
Ir arriba

Más ejemplares

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach,...

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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 58.88
EUR 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
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 47.19
EUR 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
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 72.31
EUR 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
Automated Deduction - CADE-19
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 200.19
EUR 3.78 enviando a USA

Mostrar detalles

Descripción:
Springer , pp. 524 . Papeback. New.
Precio
EUR 200.19
EUR 3.78 enviando a USA