Вы здесь

Itoh H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ An Efficient Abductive Reasoning System Based on Program Analysis 1993 Kato S., Seki H., Itoh H. Lecture Notes in Computer Science 11.12.1993