Viorica Sofronie-Stokkermans

Books
Automated Reasoning Automated Reasoning
Automated Reasoning
2020
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2011
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
2011