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!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa