Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings.
Foto de archivo: la portada puede ser diferente
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Tapa blanda - 1992 - 1992nd Edición
de Andrei Voronkov (Editor)
Primera línea
Partial deduction (or evaluation) has been introduced to logic programming in 1981 by Komorowski [KomSl].
Detalles
- Título Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
- Autor Andrei Voronkov (Editor)
- Encuadernación Tapa blanda
- Número de edición 1992nd
- Edición 1992
- Páginas 516
- Volúmenes 1
- Idioma ENG
- Editorial Springer, Heidelberg
- Fecha de publicación 1992-07-01
- Ilustrado Sí
- Features Bibliography, Illustrated
- ISBN 9783540557272 / 354055727X
- Peso 1.62 libras (0.73 kg)
- Dimensiones 9.21 x 6.14 x 1.07 pulgadas (23.39 x 15.60 x 2.72 cm)
- Número de catálogo de la Librería del Congreso de EEUU 92021886
- Dewey Decimal Code 006.3
Más ejemplares
Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
de Andrei Voronkov
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727x
- Cantidad disponible
- 274
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 62.68EUR 9.43 enviando a USA
Mostrar detalles
Precio
EUR 62.68
EUR 9.43
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
de Andrei Voronkov
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727x
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 71.07EUR 11.74 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.
Precio
EUR 71.07
EUR 11.74
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings
de Voronkov, Andrei
- Usado
- Tapa blanda
- Estado
- Usado
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Cantidad disponible
- 1
- Librería
-
San Casciano V.P., Italy
- Precio
-
EUR 82.40EUR 21.00 enviando a USA
Mostrar detalles
Descripción:
Heidelberg: Springer Distribution Center GmbH (SDC), 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23.
Precio
EUR 82.40
EUR 21.00
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)
de Voronkov, Andrei [Editor]
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 169.22EUR 14.02 enviando a USA
Mostrar detalles
Descripción:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Precio
EUR 169.22
EUR 14.02
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
de Andrei Voronkov (Editor)
- Usado
- Tapa blanda
- Estado
- Used:Good
- Edición
- 1992
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 188.81Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 1992-07-29. 1992. Paperback. Used:Good.
Precio
EUR 188.81
Envío gratuito a USA