Indécidabilité de la logique équationelle. [1]
星期四, 6 十月, 2005 - 18:50
Prénom de l'orateur :
Cody
Nom de l'orateur :
ROUX
Résumé :
(stage de première année)
Thème de recherche :
Mathématiques et applications
Salle :
04
(stage de première année)
链接
[1] https://www-fourier.univ-grenoble-alpes.fr/?q=zh-hans/content/ind%C3%A9cidabilit%C3%A9-de-la-logique-%C3%A9quationelle