Вы здесь

Arikawa S.

Автор:

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