Descripción:
Springer, 2005-04-19. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Foto de archivo: la portada puede ser diferente
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed Tapa blanda - 2005
de Franz Baader (Editor); Andrei Voronkov (Editor)
Primera línea
The core of classical cut-elimination methods in the style of Gentzen [8] consists of the permutation of inferences and of the reduction of cuts to cuts on the immediate subformulas of the cut formula.
Detalles
- Título Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed
- Autor Franz Baader (Editor); Andrei Voronkov (Editor)
- Encuadernación Tapa blanda
- Edición 1st
- Páginas 560
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación April 19, 2005
- Ilustrado Sí
- Features Bibliography, Illustrated, Index
- ISBN 9783540252368 / 3540252363
- Peso 1.77 libras (0.80 kg)
- Dimensiones 9.21 x 6.14 x 1.18 pulgadas (23.39 x 15.60 x 3.00 cm)
- Número de catálogo de la Librería del Congreso de EEUU 2005921519
- Dewey Decimal Code 005.115
Más ejemplares
Foto de archivo: la portada puede ser diferente
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science)
de Baader, Franz [Editor]; Voronkov, Andrei [Editor];
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 40.56EUR 5.67 enviando a USA
Mostrar detalles
Precio
EUR 40.56
EUR 5.67
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic for Programming, Artificial Intelligence, and Reasoning
- Usado
- Estado
- Usado
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 1
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 68.12EUR 3.77 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. xi + 562 . Papeback. Used.
Precio
EUR 68.12
EUR 3.77
enviando a USA
Foto de archivo: la portada puede ser diferente
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
de FRANZ BAADER , ANDREI VORONKOV ,
- Nuevo
- Tapa blanda
- First
- Estado
- Nuevo
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 4
- Librería
-
New Delhi, India
- Precio
-
EUR 75.68EUR 9.46 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005. 1st. Paperback. New/New.
Precio
EUR 75.68
EUR 9.46
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic For Programming, Artificial Intelligence, And Reasoning
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 1
- Librería
-
New Delhi, India
- Precio
-
EUR 76.24EUR 4.73 enviando a USA
Mostrar detalles
Descripción:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Precio
EUR 76.24
EUR 4.73
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
de Baader, Franz (Editor)/ Voronkov, Andrei (Editor)
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 1
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 149.39EUR 11.96 enviando a USA
Mostrar detalles
Descripción:
Springer Verlag, 2005. Paperback. New. 1st edition. 562 pages. German language. 6.00x9.25x1.00 inches.
Precio
EUR 149.39
EUR 11.96
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic For Programming, Artificial Intelligence, And Reasoning
de Franz Baader , Andrei Voronkov ,
- Nuevo
- Tapa blanda
- First
- Estado
- Nuevo
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 10
- Librería
-
New Delhi, Delhi, India
- Precio
-
EUR 189.36EUR 14.18 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005. 1st. Paperback. New.
Precio
EUR 189.36
EUR 14.18
enviando a USA
Foto de archivo: la portada puede ser diferente
Logic For Programming, Artificial Intelligence, And Reasoning
de Franz Baader , Andrei Voronkov ,
- Nuevo
- Tapa blanda
- First
- Estado
- Nuevo
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540252368 / 3540252363
- Cantidad disponible
- 10
- Librería
-
New Delhi, Delhi, India
- Precio
-
EUR 189.36EUR 14.18 enviando a USA
Mostrar detalles
Descripción:
Springer, 2005. 1st. Paperback. New.
Precio
EUR 189.36
EUR 14.18
enviando a USA
