Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Automated Deduction - CADE 26

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

Lingua IngleseInglese
Libro In brossura
Libro Automated Deduction - CADE 26 Leonardo De Moura
Codice Libristo: 16495600
Casa editrice Springer International Publishing AG, luglio 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Descrizione completa
? points 178 b
72.69 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Circles Mac Miller Audio Vinile audio
common.buy 35.99 €
Creatividad y generacion de ideas Jose M. Ricarte / Libro elettronico Adobe ePub DRM
common.buy 10.09 €
La timidez Christophe Andre / Libro elettronico Adobe ePub DRM
common.buy 11.99 €
Yapay Zeka ve Isin Gelecegi / Libro In brossura
common.buy 16.99 €
Vítej v přírodě / Libro Leporello
common.buy 7.59 €
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Libro Rigido
common.buy 17.19 €
Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Libro In brossura
common.buy 5.19 €
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Libro In brossura
common.buy 38.89 €
Hermes Georg Wissowa / Libro In brossura
common.buy 31.89 €
Die Rolle des Europäischen Parlaments im Haushaltsrecht Timna Kronawetter / Libro In brossura
common.buy 46.59 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Deduction - CADE 26
Autore Leonardo De Moura
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2017
Numero di pagine 582
EAN 9783319630458
ISBN 3319630458
Codice Libristo 16495600
Casa editrice Springer International Publishing AG
Peso 8891
Dimensioni 155 x 235 x 34

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Imray Chart C20 Imray / Pubblicazioni cartacee Mappa
common.buy 30.19 €
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Libro In brossura
common.buy 9.49 €
The Colorado Trail / Libro In brossura
common.buy 17.99 €
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Libro Rigido
common.buy 250.39 €
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Libro In brossura
common.buy 12.39 €
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Libro In brossura
common.buy 14.29 €
The Missing of Clairedelune Christelle Dabos / Libro Rigido
common.buy 13.19 €
I migliori
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Libro Rigido
common.buy 102.59 €
Love and pride Edwin Booth / Libro In brossura
common.buy 10.19 €
Three Partners Bret Harte / Libro In brossura
common.buy 21.09 €
Upper Perkiomen Valley Jerry a. Chiccarine / Libro Rigido
common.buy 19.79 €
Making of an African Giant Dr Dan Mou / Libro In brossura
common.buy 27.99 €
Graphic Design Process Nancy Skolos / Libro In brossura
common.buy 32.59 €
Sometimes... Emma Dodd / Libro Leporello
common.buy 6.59 €
Cryptology and Network Security Yvo G. Desmedt / Libro In brossura
common.buy 45.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?