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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Ledesma, Luis de (Awdur)
Fformat: Llyfr
Iaith:Sbaeneg
Cyhoeddwyd: Cuernavaca Alfaomega 2010
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!