Viorica Sofronie-Stokkermans

Identifiers

Open LibraryOL8946562A
Amazon3642224393

Top Subjects

Artificial intelligence (1)
Computer programming (1)
Computer software, development (1)
Logic, symbolic and mathematical (1)

Books by Viorica Sofronie-Stokkermans

Total count: 3

Frontiers of Combining Systems8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Springer2011-01-01
Automated Deduction -- CADE-2323rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Springer2011-08-05
Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Springer2020-01-01