Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings. Este artículo no está disponible.
International Conference on Automated Deduction 1996 New Brunswick, n; McRobbie, M. A.; Slaney, J. K.
Idioma: inglés
Editorial: Springer, 1996
- Tapa blanda
- Usado
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Vendedor de 5 estrellas
Vendedor de IberLibro desde 28 de enero de 2020
No disponible
Tapa blanda
Condición: Usado - Como Nuevo
EUR 194,28
Descripción del artículo del vendedor
Unread book in perfect condition.
N° de ref. del artículo 12913322
- Título
- Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
- Autor
- International Conference on Automated Deduction 1996 New Brunswick, n; McRobbie, M. A.; Slaney, J. K.
- Editorial
- Springer
- Año de publicación
- 1996
- Estado
- As New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3540615113
- ISBN 13
- 9783540615118
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Automated Deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30-August 3, 1996 : Proceedings
Hay 2 copias más de este libroVer todos los resultados