Título del documento: Abduction via C-Tableaux and delta-resolution

Autores:
ATOCHA ALISEDA LLERA
Año de publicación:
2009




Fuente:


ISSN:
11663081
Revista:
Journal of Applied Non-classical Logics

Tipo de producto: