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

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Ledesma, Luis de (Författare, medförfattare)
Materialtyp: Bok
Språk:spanska
Publicerad: Cuernavaca Alfaomega 2010
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Biblioteca Mayor de Ingeniería -

Beståndsuppgifter i Biblioteca Mayor de Ingeniería -
Signum: 511.3 LED 2010
Exemplar 4932684 Tillgänglig Reservera
Exemplar 4932676 Tillgänglig Reservera
Exemplar 4932668 Tillgänglig Reservera
Exemplar 493265K Tillgänglig Reservera
Exemplar 4932641 Tillgänglig Reservera
Exemplar 4925564 Tillgänglig Reservera
Exemplar 4925556 Tillgänglig Reservera
Exemplar 4925548 Tillgänglig Reservera
Exemplar 492553K Tillgänglig Reservera
Exemplar 4925521 Tillgänglig Reservera
Exemplar 4925513 Tillgänglig Reservera
Exemplar 4925505 Tillgänglig Reservera