Вы здесь
Billaud M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Axiomatizations of Backtracking (extended abstract) | 1991 | Billaud M. | BIGRE | 11.12.1991 | |||
| СТ | Operational and Denotational Semantics for Prolog with Input-Output Predicates | 1991 | Billaud M. | INRIA | Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction | 20.11.1991 |