Inferencia Visual Para Lógicas Normales
dc.contributor.author | SIERRA, MANUEL HERNANDO | |
dc.contributor.department | Universidad EAFIT. Departamento de Ciencias | spa |
dc.contributor.researchgroup | Lógica y Computación | spa |
dc.creator | SIERRA, MANUEL HERNANDO | |
dc.date.accessioned | 2021-03-26T21:36:43Z | |
dc.date.available | 2021-03-26T21:36:43Z | |
dc.date.issued | 2001-01-01 | |
dc.identifier | https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=13836 | |
dc.identifier.isbn | 9589041981 | |
dc.identifier.uri | http://hdl.handle.net/10784/27441 | |
dc.language.iso | spa | eng |
dc.publisher | Editorial EAFIT | |
dc.rights | Editorial EAFIT | |
dc.title | Inferencia Visual Para Lógicas Normales | spa |
dc.type | info:eu-repo/semantics/book | eng |
dc.type | book | eng |
dc.type | publishedVersion | eng |
dc.type | info:eu-repo/semantics/publishedVersion | eng |
dc.type.local | Libro | spa |