PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
facilityPalaiseau, Île-de-France, France
Research output, citation impact, and the most-cited recent papers from PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
0
h-index
0
i10-index
0
Also known as
PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTionPARTOUT: Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
Top-cited papers from PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
No indexed publications for this institution yet.