Вы здесь
Nguyen-Phuong L.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Integrating Modes and Subtypes into a Prolog Type-checker | 1992 | Rouzaud Y., Nguyen-Phuong L. | Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming | 15.12.1994 |