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
Scientists
Researchers whose latest known affiliation is DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique, by citations in the last five years.
No scientists with an ORCID iD listed here yet.