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

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Ledesma, Luis de (Údar)
Formáid: LEABHAR
Teanga:Spáinnis
Foilsithe / Cruthaithe: Cuernavaca Alfaomega 2010
Ábhair:
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!