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)