Вы здесь
Iwayama N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | |||
| СТ | Computing Abduction by Using the TMS | 1991 | Satoh K., Iwayama N. | Logic Programming: Proc./Eight Intern. Conf. | 23.09.1994 | |||
| СТ | 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 |