Search
Now showing items 1-1 of 1
Extensiones no justificadas en lógica default
(Universidad Nacional de Córdoba, 2010-10)
Se retoma la problemática de extensiones no justificadas en lógica default explorando las
posibilidades de debilitar transitividad a fin de que tales extensiones no sean obtenidas por
el sistema evitando la necesidad de ...