Automated Deduction - CADE 26

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

Autor: Leonardo De Moura

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 830 Kč

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

Informace o knize

Autor

Leonardo De Moura

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2017

Stránek

582

EAN

9783319630458

ISBN

3319630458

Enbook ID

16495600

Vydavatel

Springer International Publishing AG

Hmotnost

8891

Rozměry

155 x 235 x 34

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Automated Deduction - CADE 26

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

Zákaznicí kteří koupili tuto knihu koupili také

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