Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Automated Deduction - CADE-25

Automated Deduction - CADE-25

89,99 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

Kurzinformation
Sprache:
Englisch
ISBN:
3319214004
Seitenzahl:
640
Auflage:
-
Erschienen:
2015-09-14
Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural CO2 neutral
Coins Faire Preise
Check Schnelle & einfache Abwicklung
89,99 €

inkl. MwSt. versandkostenfrei

Lieferzeit 1 Werktag(e)

89,99 €

inkl. MwSt. versandkostenfrei


Beschreibung

Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. von Felty, Amy P.

Produktdetails

Einband:
Kartoniert
Seitenzahl:
640
Erschienen:
2015-09-14
Sprache:
Englisch
EAN:
9783319214009
ISBN:
3319214004
Gewicht:
996 g
Auflage:
-
Verwandte Sachgebiete:

Über den Autor


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Automated Deduction - CADE-25"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
89,99 €
Zuletzt angesehen
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
Einstieg in C++ Einstieg in C++
Willemer, Arnold
15,42 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
Beautiful Architecture Beautiful Architecture
Spinellis, Diomidis;Gousios...
13,30 €
frontend/listing/product-box/box-product-slider.tpl
Wien wartet auf Dich! Wien wartet auf Dich!
DeMarco, Tom;Lister, Timothy;
1,11 €
frontend/listing/product-box/box-product-slider.tpl
Facebook für Dummies Facebook für Dummies
Pearlman, Leah;Abram, Carolyn;
7,72 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
LogOut LogOut
Stoll, Clifford;
0,74 €
frontend/listing/product-box/box-product-slider.tpl