Вы здесь

Munoz-Hernandez S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Constructive Intensional Negation 2004 Munoz-Hernandez S., Marino J., Moreno-Navarro J. J. Lecture Notes in Computer Science 07.05.2004
СТ How to Incorporate Negation in a Prolog Compiler 2000 Moreno-Navarro J. J., Munoz-Hernandez S. Lecture Notes in Computer Science 03.02.2000