Report - Développement informatique - enssat.fr · spéciﬁcation + programmation ... 1.2 Calcul des prédicats ... ou moins explicite de la logique du premier ordre.

Please pass captcha verification before submit form