Automated Reasoning

Name: Automated Reasoning
Brand: Springer Nature Switzerland AG
SKU: 9783030510534
Price: 77.95 EUR
Availability: InStock

Autor: Viorica Sofronie-Stokkermans

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

77.95 €

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

Informácie o knihe

Autor

Viorica Sofronie-Stokkermans

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2020

Stránok

511

EAN

9783030510534

ISBN

3030510530

Enbook ID

32946509

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

807

Rozmery

155 x 235 x 29

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Automated Reasoning

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Intelligent Optimal Control for Distributed Industrial Systems

Toxy Noxy Foresty Forest, Vol. 1

Rough Guides City Stories: New York Seasons

Graphene Quantum Dot-based Polymer Nanocomposites

A Natural History of Natural Theology

Pip and Posy: The Birthday Party

Clytemnestra's Bind

Law, Practice and Politics of Forensic DNA Profiling

Criminal Investigation Laboratory Manual

Law Recorder

The Literary Remains of the Late Henry James

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Wasserverschmutzung

La table du 11, Jean-Baptiste Lavergne Morazzani

Můj diář

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

Recuerdos De La Villa De Laredo

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

Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie

Dis-Moi, Lily Marl ne

Agustina de Aragón : la mujer y el mito