«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE-15 Claude Kirchner
Código Libristo: 01566707
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 1998
This book constitutes the refereed proceedings of the 15th International Conference on Automated Ded... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Le club des tricoteuses JACOBS-K / Libro Tapa blanda
common.buy 12.29 €

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Automated Deduction - CADE-15
Autor Claude Kirchner, Helene Kirchner
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1998
Número de páginas 450
EAN 9783540646754
ISBN 3540646752
Código Libristo 01566707
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1430
Dimensiones 155 x 235 x 25

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Programación informática/desarrollo de software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

10th International Conference on Automated Deduction Mark E. Stickel / Libro Tapa blanda
common.buy 157.89 €
Alias Bob Dylan: Revisited Stephen Scobie / Libro Tapa blanda
common.buy 12.19 €
Forestry and Natural Resources MALCOLM FISHER / Libro Tapa dura
common.buy 125.89 €
Evolve Level 3B Student's Book Leslie Anne Hendra / Libro Tapa blanda
common.buy 33.59 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?