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

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Ledesma, Luis de (Author)
Hōputu: Pukapuka
Reo:Pāniora
I whakaputaina: Cuernavaca Alfaomega 2010
Ngā marau:
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Biblioteca Mayor de Ingeniería -

Ngā taipitopito puringa mai i Biblioteca Mayor de Ingeniería -
Tau karanga: 511.3 LED 2010
Tārua 4932684 Wātea Whakarite puringa
Tārua 4932676 Wātea Whakarite puringa
Tārua 4932668 Wātea Whakarite puringa
Tārua 493265K Wātea Whakarite puringa
Tārua 4932641 Wātea Whakarite puringa
Tārua 4925564 Wātea Whakarite puringa
Tārua 4925556 Wātea Whakarite puringa
Tārua 4925548 Wātea Whakarite puringa
Tārua 492553K Wātea Whakarite puringa
Tārua 4925521 Wātea Whakarite puringa
Tārua 4925513 Wātea Whakarite puringa
Tārua 4925505 Wātea Whakarite puringa