Organizations · FR

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

ROR

https://ror.org/0305gxg06

OpenAlex

https://openalex.org/I4405259971

Country

FR

Type

facility

Status

active

Organization website