Вы здесь

Iwayama N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Query Evaluation Method for Abductive Logic Programming 1992 Satoh K., Iwayama N. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Computing Abduction by Using the TMS 1991 Satoh K., Iwayama N. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints 1992 Satoh K., Iwayama N. Lecture Notes in Artificial Intelligence 06.04.1993