4 Ebooks de Viorica Sofronie-Stokkermans
Cesare Tinelli & Viorica Sofronie-Stokkermans: Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, Fro Co S 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full …
PDF
Engleză
DRM
€51.16
Nikolaj Bjorner & Viorica Sofronie-Stokkermans: Automated Deduction – CADE-23
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 sys …
PDF
Engleză
DRM
€57.88
Nicolas Peltier & Viorica Sofronie-Stokkermans: Automated Reasoning
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 2 …
EPUB
Engleză
DRM
€83.55
Nicolas Peltier & Viorica Sofronie-Stokkermans: Automated Reasoning
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 2 …
EPUB
Engleză
DRM
€90.22