
Récurrence nœthérienne pour le raisonnement de premier ordre
Author(s) -
Sorin Stratulat
Publication year - 2022
Publication title -
1024
Language(s) - French
Resource type - Journals
ISSN - 2270-1419
DOI - 10.48556/sif.1024.19.157
Subject(s) - humanities , physics , philosophy