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

Gardado en:
Detalles Bibliográficos
Autor Principal: Ledesma, Luis de (Author)
Formato: Libro
Idioma:Lingua castelá
Publicado: Cuernavaca Alfaomega 2010
Subjects:
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!