Книга Automated Reasoning Viorica Sofronie-Stokkermans

Automated Reasoning

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

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

Език
Английски език
Корици
Книга - С меки корици
Издадена
2020
страници
511
EAN
9783030510534
ISBN
3030510530
Enbook ID
32946509
Тегло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).

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

11.77 23.02 лв
311.41 609.07 лв
46.24 90.45 лв
7.91 15.47 лв

Clytemnestra's Bind

Susan C Wilson
11.17 21.84 лв
46.80 91.52 лв

Law Recorder

George Wright
23.30 45.56 лв
29.26 57.22 лв

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

Wasserverschmutzung

Mahmood Yekeh Yazdandoost
36.57 71.53 лв

Můj diář

Veronika Šporclová
7.06 13.81 лв

Recuerdos De La Villa De Laredo

Antonio Bravo y. Tudela
24.25 47.42 лв

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 лв