Identifiant pérenne de la notice : 280257627
Notice de type
Personne
Deep Inference for Graphical Theorem Proving / Pablo Donato ; sous la direction de
Benjamin Werner. Thèse de doctorat : Informatique, données, IA : Institut polytechnique
de Paris : 2024