Библиография

Автор Заглавие [ Тип(Desc)] Година
Филтри: First Letter Of Title is S and Автор is Milena Stefanova  [Изчисти всички филтри]
Journal Article
Stefanova M.  1998.  A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):17-40.PDF icon 90-017-040.pdf (1.97 MB)

© Факултет по Математика и Информатика