Árboles de forzamiento semántico

Vista sencilla de ítem
dc.citation.epage72
dc.citation.issue123
dc.citation.journalTitleRevista Universidad EAFITeng
dc.citation.spage53
dc.citation.volume37
dc.contributor.affiliationUniversidad EAFITspa
dc.contributor.authorSierra, Manuelspa
dc.coverage.spatialMedellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.date2001
dc.date.accessioned2020-07-30T21:01:17Z
dc.date.available2020-07-30T21:01:17Z
dc.date.issued2001
dc.descriptionEn este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden.spa
dc.formatapplication/pdf
dc.identifier.issn0120-341X
dc.identifier.urihttp://hdl.handle.net/10784/17288
dc.language.isospa
dc.publisherUniversidad EAFITspa
dc.relation.isversionofhttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886
dc.relation.urihttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984/886
dc.rightsCopyright © 2001 Manuel Sierraeng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.sourceRevista Universidad EAFIT, Vol. 37, No. 123 (2001)spa
dc.subject.keywordCálculo de predicadosspa
dc.subject.keywordCálculo proposicionalspa
dc.titleÁrboles de forzamiento semánticospa
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typepublishedVersioneng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 2 de 2
No hay miniatura disponible
Nombre:
document - 2020-08-24T121630.903.pdf
Tamaño:
837.13 KB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo PDF
Descargar
No hay miniatura disponible
Nombre:
articulo - copia (6).html
Tamaño:
389 B
Formato:
Hypertext Markup Language
Descripción:
Texto completo HTML
Descargar

Colecciones

Revista Universidad EAFIT, Vol. 37, Núm. 123 (2001)