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.creatorSIERRA, MANUEL HERNANDO
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.urihttp://hdl.handle.net/10784/27356
dc.sourceBoletín De Matemáticas
dc.titleArboles de forzamiento semántico para el sistema básico con afirmación y negación alternasspa
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Colecciones

Artículos