articulo
Equivalence for the G '(3)-stable models semantics
Registro en:
WOS:000275764500005
Autor
Carballido, JL
Osorio, M
Arrazola, JR
Institución
Resumen
Computer Science, Artificial Intelligence; Computer Science, Theory & Methods; Mathematics, Applied; Logic Investigadores Estudiantes