Frontiers of Combining Systems More Books by Cesare Tinelli & Viorica Sofronie-Stokkermans

Automated Deduction – CADE 29

2023