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
Grants received
No grants recorded in open data since 2016.