Вы здесь
Moinard Y.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Pointwise Circunscription Is Equivalent to Predicate Completion (Sometimes) | 1988 | Moinard Y. | Logic Programming: Proc./Fifth Intern.Conf. and Symp. | 13.10.1994 | |||
| СТ | Around a Powerful Property of Circumscriptions | 1994 | Moinard Y., Rolland R. | Lecture Notes in Artificial Intelligence | 28.10.1994 | |||
| СТ | Implication connectives for logics with right weakening | 1995 | Besnard P., Moinard Y. | Lecture Notes in Computer Science | Advances in Intelligent Computing - IPMU 94 | 26.09.1995 |