Formal explanations, logical grounding, and logical proofs

old_uid19918
titleFormal explanations, logical grounding, and logical proofs
start_date2022/01/17
schedule17h-19h
onlineno
responsiblesPataut, Poggiolesi