8 citations
- DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatiqueFR9 papers
- Université Paris-SaclayFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- Mathématiques et Informatique pour la Complexité et les Systèmes3 papers
- CEA Paris-SaclayFR2 papers
- CentraleSupélecFR2 papers
- École PolytechniqueFR2 papers
- Arcetri Astrophysical ObservatoryIT1 paper
- Aristotle University of ThessalonikiGR1 paper
- Astronomical Observatory of RomeIT1 paper
- Cavendish HospitalGB1 paper
Showing q-bio.NCShow all
Nothing from here under that filter.
Their other years and fields are still on the left.