Fundamentos de la programación en lógica una introducción

• Oteiza M., Fidel ^[1]
  1. [1] Universidad de Santiago.
• Localización: Proyecciones: Journal of Mathematics, ISSN 0716-0917, ISSN-e 0717-6279, Vol. 5, Nº. 12, 1986, págs. 71-96
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales.