Halmagrand, Pierre, 1984-....
VIAF ID: 373148933568954300956 (Personal)
Permalink: http://viaf.org/viaf/373148933568954300956
Preferred Forms
Works
Title | Sources |
---|---|
Automated deduction and proof certification for the B method |
![]() |
État actuel de l'infantilisme |
![]() |