ABELLA Nacira

Кандидат наук - SPI
Окончание контракта : 01.01.2000
https://lip6.fr/Nacira.Abella

Научны(е)й руководител(и)ь : Thérèse HARDIN

Formalisation de la Théorie de la Réécriture dans le Système Coq

Защита диссертаций : 17.12.1999

Окончание контракта : 01.01.2000

Диссертация

1999
- N. Abella : “Formalisation de la Théorie de la Réécriture dans le Système Coq”, диссертация, Защита диссертаций 17.12.1999, Научны(е)й руководител(и)ь Hardin, Thérèse (1999)