Publicación:
Inferencia visual para las lógicas normales

Vista sencilla de ítem
dc.contributor.authorSierra-Aristizabal, Manuel H.
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.date.accessioned2021-03-26T21:36:43Z
dc.date.available2021-03-26T21:36:43Z
dc.date.issued2011-01-01
dc.description.abstractEste texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.spa
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=2829
dc.identifier.isbn9589041981
dc.identifier.urihttps://hdl.handle.net/10784/27438
dc.language.isospa
dc.publisherEditorial EAFIT
dc.rightsEditorial EAFIT
dc.titleInferencia visual para las lógicas normales
dc.typeinfo:eu-repo/semantics/book
dc.type.coarversionhttp://purl.org/coar/resource_type/c_2f33
dc.type.localLibrospa
dc.type.redcolhttp://purl.org/redcol/resource_type/LIB
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dspace.entity.typePublication

Archivos

Colecciones

Libros