Publicación:
Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas

Vista sencilla de ítem
dc.citation.journalTitleBoletín De Matemáticas
dc.contributor.authorSierra, Manuel Hernando
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.date.accessioned2021-03-26T21:32:06Z
dc.date.available2021-03-26T21:32:06Z
dc.date.issued2006-01-01
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=12551
dc.identifier.issn01200380
dc.identifier.urihttps://hdl.handle.net/10784/27356
dc.language.isospa
dc.sourceBoletín De Matemáticas
dc.titleArboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
dc.typeinfo:eu-repo/semantics/article
dc.type.coarversionhttp://purl.org/coar/resource_type/c_6501
dc.type.localArtículospa
dc.type.redcolhttp://purl.org/redcol/resource_type/ARTREF
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dspace.entity.typePublication

Archivos

Colecciones

Artículos