Вы здесь
Hemerly A. S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Explaining SLDNF Resolution with Non-Normal Defaults | 1991 | Casanova M. A., Hemerly A. S., Guerreiro R. A. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 |