Вы здесь
Arikawa S.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Time-Bounded Reasoning in First Order Knowledge Base Systems | 1991 | Shi Y., Arikawa S. | Lecture Notes in Artificial Intelligence | 21.06.1991 | |||
СТ | Learning Elementary Formal Systems | 1992 | Arikawa S., Shinohara T., Yamamoto A. | Theoretical Computer Science | 04.04.1992 | |||
СТ | Explanation-Based Reuse of Prolog Programs | 1994 | Koga Y., Hirowatari E., Arikawa S. | Lecture Notes in Artificial Intelligence | 01.11.1994 |