Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Ledesma, Luis de (Dahkki)
Materiálatiipa: Girji
Giella:espánnjágiella
Almmustuhtton: Cuernavaca Alfaomega 2010
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!