Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
GORIN DANIEL ALEJADRO
Datos académicos
Lugar de trabajo
UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título
Doctor en Ciencias de la Computación
Grado
Universitario de posgrado/doctorado
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-3 de 3
Artículo
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
Figueira, Santiago
;
Gorin, Daniel Alejadro
;
Grimson, Rafael
(
Elsevier Inc
,
2014-04
)
Artículo
Integrated program verification tools in education
de Caso, Guido
;
Garbervetsky, Diego David
;
Gorin, Daniel Alejadro
(
Wiley
,
2013-04
)
Artículo
On the formal semantics of IF-like logics
Figueira, Santiago
;
Gorin, Daniel Alejadro
;
Grimson, Rafael
(
Elsevier Inc
,
2010-08
)
Mostrando ítems 1-3 de 3