LOGS2005 : editor de demostraciones en lógica ecuacional

Ingeniero de Sistemas y Computación

Autores:
Sotelo Arévalo, Alejandro
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2006
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/22827
Acceso en línea:
http://hdl.handle.net/1992/22827
Palabra clave:
LOGS2005 (Herramienta computacional)
Algoritmos (Computadores) - Investigaciones
Matemáticas en procesamiento electrónico de datos
Lógica simbólica y matemática - Procesamiento de datos
Ingeniería
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-nd/4.0/
id UNIANDES2_496d45a0ab20c0b65d95328d14d23449
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/22827
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2García Gómez, Rafael Armando7f3bea76-8274-4d64-8935-562fd72e8228500Cardozo Rodríguez, Rodrigoa3941ddb-56c9-494b-a2e6-de5ce887a3e0500Sotelo Arévalo, Alejandro7441d6e6-53de-4e29-af74-3fe42199ac925002018-09-28T23:30:31Z2018-09-28T23:30:31Z2006http://hdl.handle.net/1992/22827u271318.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/166 hojasapplication/pdfspaUniandesIngeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computacióninstname:Universidad de los Andesreponame:Repositorio Institucional SénecaLOGS2005 : editor de demostraciones en lógica ecuacionalTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPLOGS2005 (Herramienta computacional)Algoritmos (Computadores) - InvestigacionesMatemáticas en procesamiento electrónico de datosLógica simbólica y matemática - Procesamiento de datosIngenieríaIngeniero de Sistemas y ComputaciónPregradoPublicationORIGINALu271318.pdfapplication/pdf847068https://repositorio.uniandes.edu.co/bitstreams/28e0cb2a-f6f3-479a-b23e-c29d7de22c50/download5153fe8b334056a2a391bbad526008d3MD51THUMBNAILu271318.pdf.jpgu271318.pdf.jpgIM Thumbnailimage/jpeg5013https://repositorio.uniandes.edu.co/bitstreams/ca7035a4-6e73-486b-b5fd-a75b36f964b7/download2bb19f376163a528955df683ef205290MD55TEXTu271318.pdf.txtu271318.pdf.txtExtracted texttext/plain315414https://repositorio.uniandes.edu.co/bitstreams/a41d42a6-b327-4d9a-ab15-ea0abee43e67/downloade4302a938b185b1ab29bf6001cac4620MD541992/22827oai:repositorio.uniandes.edu.co:1992/228272023-10-10 16:35:27.535http://creativecommons.org/licenses/by-nc-nd/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv LOGS2005 : editor de demostraciones en lógica ecuacional
title LOGS2005 : editor de demostraciones en lógica ecuacional
spellingShingle LOGS2005 : editor de demostraciones en lógica ecuacional
LOGS2005 (Herramienta computacional)
Algoritmos (Computadores) - Investigaciones
Matemáticas en procesamiento electrónico de datos
Lógica simbólica y matemática - Procesamiento de datos
Ingeniería
title_short LOGS2005 : editor de demostraciones en lógica ecuacional
title_full LOGS2005 : editor de demostraciones en lógica ecuacional
title_fullStr LOGS2005 : editor de demostraciones en lógica ecuacional
title_full_unstemmed LOGS2005 : editor de demostraciones en lógica ecuacional
title_sort LOGS2005 : editor de demostraciones en lógica ecuacional
dc.creator.fl_str_mv Sotelo Arévalo, Alejandro
dc.contributor.advisor.none.fl_str_mv García Gómez, Rafael Armando
Cardozo Rodríguez, Rodrigo
dc.contributor.author.none.fl_str_mv Sotelo Arévalo, Alejandro
dc.subject.keyword.es_CO.fl_str_mv LOGS2005 (Herramienta computacional)
Algoritmos (Computadores) - Investigaciones
Matemáticas en procesamiento electrónico de datos
Lógica simbólica y matemática - Procesamiento de datos
topic LOGS2005 (Herramienta computacional)
Algoritmos (Computadores) - Investigaciones
Matemáticas en procesamiento electrónico de datos
Lógica simbólica y matemática - Procesamiento de datos
Ingeniería
dc.subject.themes.none.fl_str_mv Ingeniería
description Ingeniero de Sistemas y Computación
publishDate 2006
dc.date.issued.none.fl_str_mv 2006
dc.date.accessioned.none.fl_str_mv 2018-09-28T23:30:31Z
dc.date.available.none.fl_str_mv 2018-09-28T23:30:31Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/22827
dc.identifier.pdf.none.fl_str_mv u271318.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/22827
identifier_str_mv u271318.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 166 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Ingeniería de Sistemas y Computación
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ingeniería
dc.publisher.department.es_CO.fl_str_mv Departamento de Ingeniería de Sistemas y Computación
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/28e0cb2a-f6f3-479a-b23e-c29d7de22c50/download
https://repositorio.uniandes.edu.co/bitstreams/ca7035a4-6e73-486b-b5fd-a75b36f964b7/download
https://repositorio.uniandes.edu.co/bitstreams/a41d42a6-b327-4d9a-ab15-ea0abee43e67/download
bitstream.checksum.fl_str_mv 5153fe8b334056a2a391bbad526008d3
2bb19f376163a528955df683ef205290
e4302a938b185b1ab29bf6001cac4620
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812133888419430400

Publicaciones similares