RanaldClouston · @RanaldClouston
210 followers · 749 posts · Server fediscience.org

(Theorem proving components for Educational software) "brings together experts in automated deduction with experts in education in order to further clarify the shape of a new software generation and to discuss existing systems" uc.pt/en/congressos/thedu/ThEd

#cseducation #csed #ATP #thedu23 #CallForContributions

Last updated 2 years ago