Serge Gaspers · 2 obras en el catálogoObrasTheory and Applications of Satisfiability Testing – SAT 2017SSOFSEM 2024 : Theory and Practice of Computer ScienceSOFSEM 2024 : Theory and Practice of Computer Science
SSOFSEM 2024 : Theory and Practice of Computer ScienceSOFSEM 2024 : Theory and Practice of Computer Science