Вы здесь
Waern A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Implementation Technique for the Abstract Interpretation of Prolog | 1988 | Waern A. | Logic Programming: Proc./Fifth Intern. Conf. and Symp. | 03.10.1994 | |||
| СТ | Transparent And-Parallelism in the Presence of Shared Free Variables | 1988 | Winsborough W., Waern A. | Logic Programming: Proc./Fifth Intern. Conf. and Symp. | 03.10.1994 |