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!

Biblioteca Mayor de Ingeniería -

oažžasuvvan: Biblioteca Mayor de Ingeniería -
Hildobáiki: 511.3 LED 2010
Njađus 4932684 Oažžumis Daga várrema
Njađus 4932676 Oažžumis Daga várrema
Njađus 4932668 Oažžumis Daga várrema
Njađus 493265K Oažžumis Daga várrema
Njađus 4932641 Oažžumis Daga várrema
Njađus 4925564 Oažžumis Daga várrema
Njađus 4925556 Oažžumis Daga várrema
Njađus 4925548 Oažžumis Daga várrema
Njađus 492553K Oažžumis Daga várrema
Njađus 4925521 Oažžumis Daga várrema
Njađus 4925513 Oažžumis Daga várrema
Njađus 4925505 Oažžumis Daga várrema