Вы здесь
Groger G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs | 1992 | Groger G., Plumer L. | Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming | 19.12.1994 |