Research facility · founded 2021
DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
Saclay, France · inria.fr/equipes/deducteam
- Citations, last 5 years
- 76
- Works, last 5 years
- 68
- h-index
- 12
- Scientists listed
- 0
- Grants since 2016
- 0
Departments and units
No units recorded in ROR. The organisation can add them after claiming this page.