Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Automated Deduction - CADE 26

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

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Deduction - CADE 26 Leonardo De Moura
Libristo-Code: 16495600
Verlag Springer International Publishing AG, Juli 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CA... Vollständige Beschreibung
? points 210 b
85.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Fiche de lecture Les Fourberies de Scapin de Moliere (Analyse litteraire de reference et resume complet) Moli?re / Buch Broschur
common.buy 5.99 €
Hồn Thoi Mưa Tạnh (hard cover) Thanh Nguyen / Buch Hardcover
common.buy 21.09 €
Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki / Buch Broschur
common.buy 46.59 €
Creatividad y generacion de ideas Jose M. Ricarte / E-Book Adobe ePub DRM
common.buy 12.59 €
Circles Mac Miller Audio Audio Vinyl
common.buy 48.19 €
Yapay Zeka ve Isin Gelecegi / Buch Broschur
common.buy 19.89 €
Hellsing Perfect edition T05 - Édition collector Kohta Hirano / Buch Buch
common.buy 54.49 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Deduction - CADE 26
Autor Leonardo De Moura
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 582
EAN 9783319630458
ISBN 3319630458
Libristo-Code 16495600
Verlag Springer International Publishing AG
Gewicht 8891
Abmessungen 155 x 235 x 34

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Cryptology and Network Security Yvo G. Desmedt / Buch Broschur
common.buy 53.79 €
The Divine Service of the Holy Eighth Oecumenical Council Nun Thecla / Buch Broschur
common.buy 15.19 €
The Colorado Trail / Buch Broschur
common.buy 23.49 €
Imray Chart C20 Imray / Drucksachen Karte
common.buy 36.29 €
ESSENTIAL ELEMENTS 2000 BOOK 2 CLARINETTE +CD / Buch Broschur
common.buy 11.59 €
UN Millennium Development Library: Investing in Strategies to Reverse the Global Incidence of TB UN Millennium Project / Buch Hardcover
common.buy 274.79 €
Dear Diary Boy: An Exacting Mother, Her Free-Spirited Son, and Their Bittersweet Adventures in an Elite Japanese School Deborah Fallows / Buch Broschur
common.buy 16.49 €
Top
Battle Angel Alita Deluxe Complete Series Box Set Yukito Kishiro / Buch Hardcover
common.buy 127.39 €
Love and pride Edwin Booth / Buch Broschur
common.buy 12.29 €
Three Partners Bret Harte / Buch Broschur
common.buy 25.29 €
Making of an African Giant Dr Dan Mou / Buch Broschur
common.buy 37.39 €
Graphic Design Process Nancy Skolos / Buch Broschur
common.buy 41.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?