Sofronie Stokkermans, Viorica books & textbook
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
Peltier, Nicolas Sofronie-Stokkermans, Viorica
Springer /2020-06-30 Paperback / 568 Pages
isbn-10: 3030510735 / isbn-13: 9783030510732
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings (Lecture Notes in Computer Science, 6989)
Tinelli, Cesare Sofronie-Stokkermans, Viorica
Springer /2011-09-23 Paperback / 283 Pages
isbn-10: 3642243630 / isbn-13: 9783642243639
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)
Bjørner, Nikolaj Sofronie-Stokkermans, Viorica
Springer /2011-07-12 Paperback / 521 Pages
isbn-10: 3642224377 / isbn-13: 9783642224379
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Peltier, Nicolas Sofronie-Stokkermans, Viorica
Springer /2020-06-30 Paperback / 532 Pages
isbn-10: 3030510530 / isbn-13: 9783030510534
