TY - BOOK T1 - Foundations of logic programming T2 - Symbolic computation. Artificial intelligence A1 - Lloyd, J. W. LA - English PP - Berlín PB - Springer-Verlag YR - 1984 UL - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.58147 OP - 124 SN - 3540132996 KW - PROGRAMACIÓN LÓGICA ER -