Automated Deduction - CADE 26

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

Autor: Leonardo De Moura

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

440.44 lei

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA...

Informații despre carte

Autor

Leonardo De Moura

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

582

EAN

9783319630458

ISBN

3319630458

Enbook ID

16495600

Editura

Springer International Publishing AG

Greutate

8891

Dimensiuni

155 x 235 x 34

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Automated Deduction - CADE 26

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Cryptology and Network Security

The Divine Service of the Holy Eighth Oecumenical Council

The Colorado Trail

Imray Chart C20

ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD

UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB

Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School

Battle Angel Alita Deluxe Complete Series Box Set

Love and pride

Three Partners

Making of an African Giant

Graphic Design Process

Clienții care au cumpărat această carte au mai cumpărat și

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet)

Hồn Thoi Mưa Tạnh (hard cover)

Análise do Setor de Saneamento Básico no Brasil

Creatividad y generacion de ideas

Circles

Yapay Zeka ve Isin Gelecegi

Hellsing Perfect edition T05 - Édition collector