Search
Now showing items 1-1 of 1
Interrelación de algunas lógicas intermedias y Answer Set
(Benemérita Universidad Autónoma de Puebla, 2003-03)
"Este trabajo es una continuación del trabajo iniciado por D. Pearce en [10]. Hay una pregunta que no hemos contestado todavía, en el corolario 3 dijimos de alguna manera que la clase de modelos estable no es más expresiva ...
Copyright © BUAP 2018. All right reserved.