Вы здесь
Navarro M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Characterizing Confusion | 1993 | Navarro M., Orejas F., Sanchez A. | EATCS Bull. | 24.03.1993 | |||
| СТ | Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications | 1993 | Navarro M., Orejas F., Remy J. -L. | Acta Informatica | 21.04.1993 | |||
| СТ | A Strong Logic Programming View for Static Embedded Implications | 1999 | Arruabarrena R., Lucio P., Navarro M. | Lecture Notes in Computer Science | 02.04.1999 |