Вы здесь
Shimajiri Y.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP | 1997 | Shimajiri Y., Seki H., Itoh H. | Logic Programming | 11.03.1998 | |||
СТ | Goal-Directed Query Processing in Disjunctive Logic Databases | 1995 | Shimajiri Y., Seki H., Itoh H. | Lecture Notes in Computer Science | Programming Languages: Implementations, Logics and Programs | 16.11.1995 |