Вы здесь
Howe J. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Analyzing Logic Programs by Reasoning Backwards | 2004 | Howe J. M., King A., Lu L. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 31.07.2004 | ||
| СТ | Implementing Groudness Analysis with Definite Boolean Functions | 2000 | Howe J. M., King A. | Lecture Notes in Computer Science | 25.04.2000 |