Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Automated Deduction - CADE 26

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

Língua InglêsInglês
Livro Capa mole
Livro Automated Deduction - CADE 26 Leonardo De Moura
Código Libristo: 16495600
Editoras Springer International Publishing AG, julho 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Descrição completa
? points 210 b
86.85 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Livro Capa mole
common.buy 6.06 €
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Livro Livro de capa dura
common.buy 20.31 €
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Livro Capa mole
common.buy 50.46 €
Creatividad y generacion de ideas Jose M. Ricarte / E-book Adobe ePub DRM
common.buy 12.12 €
Circles Mac Miller Áudio Vinil de áudio
common.buy 48.73 €
Yapay Zeka ve Isin Gelecegi / Livro Capa mole
common.buy 18.09 €
Hellsing Perfect edition T05 - Édition collector Kohta Hirano / Livro Livro
common.buy 50.45 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Automated Deduction - CADE 26
Autor Leonardo De Moura
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 582
EAN 9783319630458
ISBN 3319630458
Código Libristo 16495600
Editoras Springer International Publishing AG
Peso 8891
Dimensões 155 x 235 x 34

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Cryptology and Network Security Yvo G. Desmedt / Livro Capa mole
common.buy 54.39 €
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Livro Capa mole
common.buy 14.65 €
The Colorado Trail / Livro Capa mole
common.buy 22.34 €
Imray Chart C20 Imray / Artigos impressos Mapa
common.buy 36.59 €
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Livro Capa mole
common.buy 11.62 €
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Livro Livro de capa dura
common.buy 266.02 €
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Livro Capa mole
common.buy 14.85 €
Principal
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Livro Livro de capa dura
common.buy 128.81 €
Love and pride Edwin Booth / Livro Capa mole
common.buy 12.43 €
Three Partners Bret Harte / Livro Capa mole
common.buy 25.57 €
Making of an African Giant Dr Dan Mou / Livro Capa mole
common.buy 36.19 €
Graphic Design Process Nancy Skolos / Livro Capa mole
common.buy 38.41 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?