Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Impliqués premiers"'
Autor:
Tourret, Sophie
Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et de
Externí odkaz:
http://www.theses.fr/2016GREAM006/document
