Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Deduction - CADE 26

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

Język AngielskiAngielski
Książka Miękka
Książka Automated Deduction - CADE 26 Leonardo De Moura
Kod Libristo: 16495600
Wydawnictwo Springer International Publishing AG, lipiec 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Cały opis
? points 199 b
358.26 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Książka Miękka
common.buy 25.10 zł
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Książka Twarda
common.buy 88.37 zł
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Książka Miękka
common.buy 193.42 zł
Creatividad y generacion de ideas Jose M. Ricarte / E-book Adobe ePub DRM
common.buy 52.57 zł
Circles Mac Miller Audio Winyl Audio
common.buy 201.86 zł
Yapay Zeka ve Isin Gelecegi / Książka Miękka
common.buy 83.13 zł
Hellsing Perfect edition T05 - Édition collector Kohta Hirano / Książka Książka
common.buy 229.54 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Deduction - CADE 26
Autor Leonardo De Moura
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 582
EAN 9783319630458
ISBN 3319630458
Kod Libristo 16495600
Wydawnictwo Springer International Publishing AG
Waga 8891
Wymiary 155 x 235 x 34

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Cryptology and Network Security Yvo G. Desmedt / Książka Miękka
common.buy 224.50 zł
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Książka Miękka
common.buy 63.58 zł
The Colorado Trail / Książka Miękka
common.buy 97.33 zł
Imray Chart C20 Imray / Prasa Mapa
common.buy 150.52 zł
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Książka Miękka
common.buy 50.61 zł
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Książka Twarda
common.buy 1 156.59 zł
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Książka Miękka
common.buy 68.62 zł
TOP
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Książka Twarda
common.buy 560.13 zł
Love and pride Edwin Booth / Książka Miękka
common.buy 50.82 zł
Three Partners Bret Harte / Książka Miękka
common.buy 104.84 zł
Making of an African Giant Dr Dan Mou / Książka Miękka
common.buy 157.31 zł
Graphic Design Process Nancy Skolos / Książka Miękka
common.buy 174.70 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?