TY - BOOK T1 - Lógica, programación e inteligencia artificial A1 - Kowalski, Robert LA - Spanish PP - Madrid PB - Díaz de Santos YR - 1986 UL - https://colectivo.uloyola.es/Record/L19668 OP - 412 NO - Tít. original: Logic for problem solving SN - 8486251435 KW - Lógica KW - Lógica matemática KW - Inteligencia artificial ER -