Verificación de un sistema de votación usando SAT-Solving

Dobniewski, Diego P.; Gasser Noblia, Gabriel

Navegar

Documento Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Tesis de Grado

Dobniewski, Diego P.; Gasser Noblia, Gabriel. "Verificación de un sistema de votación usando SAT-Solving" . (2010). Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Registro Citación Estadísticas

Registro:

Documento:	Tesis de Grado
Disciplina:	computacion
Título:	Verificación de un sistema de votación usando SAT-Solving
Autor:	Dobniewski, Diego P.; Gasser Noblia, Gabriel
Editor:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Fecha de defensa:	2010
Grado Obtenido:	Grado
Título Obtenido:	Licenciado en Ciencias de la Computación
Departamento Docente:	Departamento de Computación
Director:	Galeotti, Juan Pablo
Idioma:	Español
Formato:	PDF
Handle:	http://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski
PDF:	https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000336_GasserDobniewski.pdf
Registro:	https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000336_GasserDobniewski
Ubicación:	Dep.COM 000336
Derechos de Acceso:	Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Dobniewski, Diego P.; Gasser Noblia, Gabriel. (2010). Verificación de un sistema de votación usando SAT-Solving. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

Citación:

---------- APA ----------

Dobniewski, Diego P.; Gasser Noblia, Gabriel. (2010). Verificación de un sistema de votación usando SAT-Solving. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

---------- CHICAGO ----------

Dobniewski, Diego P.; Gasser Noblia, Gabriel. "Verificación de un sistema de votación usando SAT-Solving". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2010.https://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

Estadísticas:

Descargas mensuales

Total de descargas desde :

https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000336_GasserDobniewski.pdf