Viorica Sofronie-Stokkermans · 3 obras en el catálogoObrasAutomated Deduction -- CADE-23AAutomated ReasoningAutomated ReasoningFFrontiers of Combining SystemsFrontiers of Combining Systems