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

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE 26 Leonardo De Moura
Código Libristo: 16495600
Editores Springer International Publishing AG, julio 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Descripción completa
? points 221 b
90.29 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Libro Tapa blanda
common.buy 6.29 €
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Libro Tapa dura
common.buy 21.09 €
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Libro Tapa blanda
common.buy 49.19 €
Creatividad y generacion de ideas Jose M. Ricarte / Libro electrónico Adobe ePub DRM
common.buy 12.79 €
Circles Mac Miller Audio Vinilo de audio
common.buy 49.19 €
Yapay Zeka ve Isin Gelecegi / Libro Tapa blanda
common.buy 20.89 €
Hellsing Perfect edition T05 - Édition collector Kohta Hirano / Libro Libro
common.buy 53.09 €

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

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 26
Autor Leonardo De Moura
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 582
EAN 9783319630458
ISBN 3319630458
Código Libristo 16495600
Editores Springer International Publishing AG
Peso 8891
Dimensiones 155 x 235 x 34

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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 > Inteligencia artificial
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

Cryptology and Network Security Yvo G. Desmedt / Libro Tapa blanda
common.buy 56.59 €
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Libro Tapa blanda
common.buy 15.19 €
The Colorado Trail / Libro Tapa blanda
common.buy 23.49 €
Imray Chart C20 Imray / Artículos impresos Mapa
common.buy 37.09 €
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Libro Tapa blanda
common.buy 12.19 €
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Libro Tapa dura
common.buy 274.79 €
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Libro Tapa blanda
common.buy 17.29 €
Popular
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Libro Tapa dura
common.buy 135.69 €
Love and pride Edwin Booth / Libro Tapa blanda
common.buy 12.89 €
Three Partners Bret Harte / Libro Tapa blanda
common.buy 26.69 €
Making of an African Giant Dr Dan Mou / Libro Tapa blanda
common.buy 37.39 €
Graphic Design Process Nancy Skolos / Libro Tapa blanda
common.buy 40.39 €

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?