Вы здесь
Zhou N. -F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Linear Tabulated Resolution Based on Prolog Control Strategy | 2001 | Shen Y. -D., Yuan L. -Y., You J. -H., Zhou N. -F. | Theory and Practice of Logic Programming | 10.06.2001 | |||
| СТ | A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints | 1998 | Zhou N. -F. | Logic Programming | 07.03.2001 | |||
| СТ | On the Scheme of Passing Arguments in Stack Frames for Prolog | 1994 | Zhou N. -F. | Logic Programming: Proc. of the Eleventh Intern. Conf. | 31.01.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Practical Aspects of Declarative Languages: Proc./14th International Symposium, PADL 2012, Philadelphia,PA,USA, January 2012 | 2012 | Lecture Notes in Computer Science |
|
20.03.2012 |