[email protected] Wir antworten innerhalb von 24 Stunden

[email protected]

DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Deduction - CADE 26

Leonardo De Moura

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 16495600

286 b

114.21 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Cryptology and Network Security Yvo G. Desmedt

/ Broschur

70.52 €

Análise do Setor de Saneamento Básico no Brasil Victor Toyoji de Nozaki

/ Broschur

52.15 €

Only for You Melissa Foster

/ Audio

29.35 €

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.

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