Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer Nature Switzerland AG
SKU: 32946509
Price: 76.07 EUR
Availability: InStock
Author: Viorica Sofronie-Stokkermans
ISBN: 9783030510534

Viorica Sofronie-Stokkermans

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 32946509

Nakladateľstvo Springer Nature Switzerland AG, jún 2020

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Internatio... Celý popis

Libristo kód: 32946509

185 b

76.07 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Wasserverschmutzung Mahmood Yekeh Yazdandoost

Brožovaná

35.61 €

La table du 11, Jean-Baptiste Lavergne Morazzani Ferret

Pevná

36.62 €

Můj diář Veronika Šporclová

Brožovaná

6.55 €

Etudes Sur L'Allemagne: Renfermant Une Histoire de La Peinture Allemande ... Alfred Michiels

Brožovaná

26.43 €

Recuerdos De La Villa De Laredo Antonio Bravo y. Tudela

Brožovaná

23.70 €

Das kleine Nähcafé am Fluss - Nähideen für gemütliche Stunden Sabine Schmidt

Pevná

21.89 €

Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie Martin Grabmann

Brožovaná

13.71 €

Dis-Moi, Lily Marl ne MICHEL NORMANDEAU

Brožovaná

22.79 €

Agustina de Aragón : la mujer y el mito María del Pilar Queralt del Hierro

Brožovaná

29.76 €

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).