TY - BOOK T1 - Lógica, programación e inteligencia artificial A1 - Kowalski, Robert LA - Spanish PP - Madrid PB - Díaz de Santos YR - 1986 ED - 1a ed. UL - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.50545 OP - 412 NO - Versión castellana de Logic for problem solving, Elsevier Science Pub., c1979. SN - 8486251435 KW - LÓGICA MATEMÁTICA KW - PROGRAMACIÓN KW - RESOLUCIÓN DE PROBLEMAS ER -