Menu
Виж статуса на поръчката
Свържете се с нас
Книга Automated Reasoning Viorica Sofronie-Stokkermans

Automated Reasoning

Автор: Viorica Sofronie-Stokkermans
Език: Английски език
Корици: С меки корици
Издател: Springer Nature Switzerland AG
Наличност: Външен склад
Изпращаме след 5-8 дни
77.91 € 152.38 лв
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Internatio...

Информация за книгата

Автор
Viorica Sofronie-Stokkermans
Език
Английски език
Корици
Книга - С меки корици
Издадена
2020
страници
511
EAN
9783030510534
ISBN
3030510530
Enbook ID
32946509
Издател
Springer Nature Switzerland AG
Теглоt
807
Размери
155 x 235 x 29

Пълно описание

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

Може също да ви хареса

Intelligent Optimal Control for Distributed Industrial Systems

Shaoyuan Li
57.92 € 113.28 лв

Toxy Noxy Foresty Forest, Vol. 1

Amanda Haley
11.77 € 23.02 лв

Rough Guides City Stories: New York Seasons

E01
11.02 € 21.55 лв

Graphene Quantum Dot-based Polymer Nanocomposites

Srikanta Moharana
311.41 € 609.07 лв

A Natural History of Natural Theology

Johan De Smedt
46.24 € 90.45 лв

Pip and Posy: The Birthday Party

Reid
7.91 € 15.47 лв

Clytemnestra's Bind

Susan C Wilson
11.17 € 21.84 лв

Law, Practice and Politics of Forensic DNA Profiling

Victor Toom
56.77 € 111.03 лв

Criminal Investigation Laboratory Manual

Ronald Becker
46.80 € 91.52 лв

Law Recorder

George Wright
23.30 € 45.56 лв

The Literary Remains of the Late Henry James

Henry James
29.26 € 57.22 лв

Клиенти, които купиха тази книга, купиха също

Wasserverschmutzung

Mahmood Yekeh Yazdandoost
36.57 € 71.53 лв

La table du 11, Jean-Baptiste Lavergne Morazzani

Ferret
37.07 € 72.51 лв

Můj diář

Veronika Šporclová
7.06 € 13.81 лв

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

Alfred Michiels
27.00 € 52.81 лв

Recuerdos De La Villa De Laredo

Antonio Bravo y. Tudela
24.25 € 47.42 лв

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

Sabine Schmidt
22.59 € 44.19 лв

Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie

Martin Grabmann
14.03 € 27.43 лв

Dis-Moi, Lily Marl ne

MICHEL NORMANDEAU
23.30 € 45.56 лв

Agustina de Aragón : la mujer y el mito

María del Pilar Queralt del Hierro
30.51 € 59.67 лв