Вы здесь
Corsini M-M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Type inference in Prolog: a new approach | 1991 | Corsini M-M., Musumbu K. | INRIA | Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction | 20.11.1991 |