Вы здесь
Solnon C.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems | 1994 | Solnon C., Rueher M. | Lecture Notes in Computer Science | 12.01.1995 | |||
СТ | Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII | 1992 | Solnon C., Rueher M. | Lecture Notes in Computer Science | 15.10.1992 |