DEDUCTEAM Research team

Deduction modulo, interopérabilité et démonstration automatique

Team presentation