Вы здесь
Bellia M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
П | Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications | 1981 | Barbuti R., Bellia M., Martelli A., Dameri E., Simonelli C., Degano P., Levi G. | Progetto Finalizzato Informatica | 02.08.2000 | |||
СТ | C-Expressions: A Variable-Free Calculus for Equational Logic Programming | 1993 | Bellia M., Occhiuto M. E. | Theoretical Computer Science | 18.02.1993 |