Pablo Donato. Deep Inference for Graphical Theorem Proving. (Inférence Profonde pour la Démonstration Graphique de Théorèmes). PhD thesis, Polytechnic Institute of Paris, Palaiseau, France, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.