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
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Automated Reasoning

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Reasoning Viorica Sofronie-Stokkermans
Libristo-Code: 32946509
Verlag Springer Nature Switzerland AG, Juni 2020
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Internatio... Vollständige Beschreibung
? points 185 b
76.40 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wasserverschmutzung Mahmood Yekeh Yazdandoost / Buch Broschur
common.buy 35.76 €
La table du 11, Jean-Baptiste Lavergne Morazzani Ferret / Buch Hardcover
common.buy 36.58 €
Můj diář Veronika Šporclová / Buch Broschur
common.buy 6.88 €
Etudes Sur L'Allemagne: Renfermant Une Histoire de La Peinture Allemande ... Alfred Michiels / Buch Broschur
common.buy 29.18 €
Recuerdos De La Villa De Laredo Antonio Bravo y. Tudela / Buch Broschur
common.buy 26.24 €
Das kleine Nähcafé am Fluss - Nähideen für gemütliche Stunden Sabine Schmidt / Buch Hardcover
common.buy 21.98 €
Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie Martin Grabmann / Buch Broschur
common.buy 13.77 €
Dis-Moi, Lily Marl ne MICHEL NORMANDEAU / Buch Broschur
common.buy 25.22 €
Agustina de Aragón : la mujer y el mito María del Pilar Queralt del Hierro / Buch Broschur
common.buy 29.89 €

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).

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 Reasoning
Autor Viorica Sofronie-Stokkermans
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2020
Anzahl der Seiten 511
EAN 9783030510534
ISBN 3030510530
Libristo-Code 32946509
Verlag Springer Nature Switzerland AG
Gewicht 807
Abmessungen 155 x 235 x 29

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
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

Intelligent Optimal Control for Distributed Industrial Systems Shaoyuan Li / Buch Broschur
common.buy 62.72 €
Top Neu
Toxy Noxy Foresty Forest, Vol. 1 Amanda Haley / Buch Broschur
common.buy 12.86 €
Rough Guides City Stories: New York Seasons E01 / Buch Hardcover
common.buy 10.83 €
Demnächst
Graphene Quantum Dot-based Polymer Nanocomposites Srikanta Moharana / Buch Broschur
common.buy 297.95 €
A Natural History of Natural Theology Johan De Smedt / Buch Broschur
common.buy 54.72 €
Pip and Posy: The Birthday Party Reid / Buch Leporello
common.buy 7.69 €
Clytemnestra's Bind Susan C Wilson / Buch Broschur
common.buy 10.83 €
Law, Practice and Politics of Forensic DNA Profiling Victor Toom / Buch Broschur
common.buy 61.30 €
Criminal Investigation Laboratory Manual Ronald Becker / Buch Broschur
common.buy 46.30 €
Law Recorder George Wright / Buch Broschur
common.buy 25.22 €
The Literary Remains of the Late Henry James Henry James / Buch Broschur
common.buy 28.57 €

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?