Вы здесь

Goebel R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure 1997 You J. -H., Yuan L. Y., Goebel R. Lecture Notes in Computer Science 09.01.1998