A tabulation proof procedure for residuated logic programming

  1. Damásio, C.V.
  2. Medina, J.
  3. Ojeda-Aciego, M.
Colección de libros:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781586034528

Año de publicación: 2004

Volumen: 110

Páginas: 808-812

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus