dc.creator | Oteiza M., Fidel | |
dc.date | 2018-03-28 | |
dc.date.accessioned | 2019-06-28T17:06:13Z | |
dc.date.available | 2019-06-28T17:06:13Z | |
dc.identifier | http://www.revistaproyecciones.cl/article/view/2570 | |
dc.identifier | 10.22199/S07160917.1986.0012.00005 | |
dc.identifier.uri | https://revistaschilenas.uchile.cl/handle/2250/100944 | |
dc.description | Este material tiene por objeto introducir los conceptos en que se fundamenta el uso de la lógica clausal como base para lenguajes computacionales. | es-ES |
dc.format | application/pdf | |
dc.language | spa | |
dc.publisher | Universidad Católica del Norte. | es-ES |
dc.relation | http://www.revistaproyecciones.cl/article/view/2570/2170 | |
dc.rights | Derechos de autor 1986 Proyecciones. Journal of Mathematics | es-ES |
dc.rights | https://creativecommons.org/licenses/by-nc/4.0/ | es-ES |
dc.source | Proyecciones. Journal of Mathematics; Vol 5 No 12 (1986); 71-96 | en-US |
dc.source | Proyecciones. Revista de Matemática; Vol. 5 Núm. 12 (1986); 71-96 | es-ES |
dc.source | 0717-6279 | |
dc.source | 0716-0917 | |
dc.title | Fundamentos de la programación en lógica una introducción | es-ES |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:eu-repo/semantics/publishedVersion | |
dc.type | Artículo revisado por pares | es-ES |