«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-17

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE-17 David McAllester
Código Libristo: 01567456
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2000
This book constitutes the refereed proceedings of the 17th 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

Poverhnostno-aktivnye veshhestva v ob#ektah okruzhajushhej sredy E.Yu. Shachneva / Libro Tapa blanda
common.buy 39.39 €
Capo Verde / Libro Tapa blanda
common.buy 18.19 €
Kdo umyje nádobí? / Juego/Juguete Juego
common.buy 12.39 €
La voz de la conciencia ESTEBAN DUQUE / Libro Tapa blanda
common.buy 22.09 €
Scooby-Doo! i szalejący karateka James Gelsey / Libro Tapa blanda
common.buy 3.99 €
Die chinesischen und mandschurischen Zierschriften Giovanni Stary / Libro Tapa blanda
common.buy 39.49 €
Wannseekonferenz Peter Longerich / Libro Tapa blanda
common.buy 15.49 €
Marek a jeho písničky / Audio CD de audio
common.buy 12.99 €
Cuánto Sabes De... Fútbol Americano Indoor Wanceulen Notebook / Libro Tapa blanda
common.buy 11.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000.§The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

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-17
Autor David McAllester
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2000
Número de páginas 526
EAN 9783540676645
ISBN 3540676643
Código Libristo 01567456
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 819
Dimensiones 155 x 235 x 29

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
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemá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

Bold Frontier John Jakes / Libro Tapa blanda
common.buy 17.99 €
Popular Próximamente Nuevo
Chainsaw Man, Vol. 22 Tatsuki Fujimoto / Libro Tapa blanda
common.buy 8.89 €
Dead Sexy Morticia Storm Onyx / Libro Tapa blanda
common.buy 22.89 €
The Art of Garnishing Churches at Christmas and Other Times: A Manual of Directions Ernest Geldart / Libro Tapa blanda
common.buy 19.99 €
Popular
Five-Star Weekend Elin Hilderbrand / Libro Tapa blanda
common.buy 12.79 €
Próximamente
Innovative Approaches in Early Childhood Mathematics Alberto D. Yazon / Libro Tapa dura
common.buy 178.79 €
Popular
Penguin Readers Level 7: White Teeth (ELT Graded Reader) Zadie Smith / Libro Tapa blanda
common.buy 6.89 €
Interior II, 1904 Kathleen George / Libro Tapa blanda
common.buy 23.19 €
Companion to Wittgenstein on Education Michael A. Peters / Libro Tapa blanda
common.buy 362.19 €
Intersection of Rights and Regulation Bronwen Morgan / Libro Tapa dura
common.buy 215.89 €
Dragon's Gift Deborah Brautigam / Libro Tapa blanda
common.buy 32.89 €
Imagined Commonwealth T. J. Cribb / Libro Tapa dura
common.buy 118.29 €
Flight Kit Rosie Dickins / Libro Tapa blanda
common.buy 42.79 €
Flesh in the Age of Reason Roy Porter / Libro Tapa blanda
common.buy 30.49 €
Stress-Induced and Fear Circuitry Disorders Gavin Andrews / Libro Tapa blanda
common.buy 81.79 €

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?