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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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 195 b
79.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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 61.89 €
Top Neu
Toxy Noxy Foresty Forest, Vol. 1 Amanda Haley / Buch Broschur
common.buy 12.69 €
Neu
Rough Guides City Stories: New York Seasons E01 / Buch Hardcover
common.buy 11.39 €
Demnächst
Graphene Quantum Dot-based Polymer Nanocomposites Srikanta Moharana / Buch Broschur
common.buy 312.09 €
A Natural History of Natural Theology Johan De Smedt / Buch Broschur
common.buy 47.19 €
Pip and Posy: The Birthday Party Reid / Buch Leporello
common.buy 8.09 €
Clytemnestra's Bind Susan C Wilson / Buch Broschur
common.buy 11.39 €
Law, Practice and Politics of Forensic DNA Profiling Victor Toom / Buch Broschur
common.buy 60.49 €
Criminal Investigation Laboratory Manual Ronald Becker / Buch Broschur
common.buy 47.79 €
Law Recorder George Wright / Buch Broschur
common.buy 24.89 €
The Literary Remains of the Late Henry James Henry James / Buch Broschur
common.buy 29.89 €

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?