Mostrando
1 - 13
Resultados de
13
Para Buscar '
Gorín, Daniel Alejandro
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Gorín, Daniel Alejandro
Mostrando
1 - 13
Resultados de
13
Para Buscar '
Gorín, Daniel Alejandro
'
, tiempo de consulta: 0.14s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Técnicas de razonamiento automático para lógicas híbridas
por
Gorín
,
Daniel
Alejandro
Publicado 2009
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
2
Técnicas de razonamiento automático para lógicas híbridas
por
Gorín
,
Daniel
Alejandro
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
3
Técnicas de razonamiento automático para lógicas híbridas
por
Gorín
,
Daniel
Alejandro
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis Doctoral
Agregar a favoritos
Guardado en:
4
Enforcing structural invariants using dynamic frames
por
Garbervetsky, Diego
,
Gorín
,
Daniel
Alejandro
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
5
On the formal semantics of IF-like logics
por
Figueira, Santiago Daniel
,
Gorín
,
Daniel
Alejandro
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
6
Resolution with order and selection for hybrid logics
por
Areces, Carlos Eduardo
,
Gorín
,
Daniel
Alejandro
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
7
On the formal semantics of IF-like logics
por
Figueira, Santiago Daniel
,
Gorín
,
Daniel
Alejandro
Publicado 2008
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
8
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
por
Figueira, Santiago Daniel
,
Gorín
,
Daniel
Alejandro
Publicado 2014
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
9
On the size of shortest modal descriptions
por
Figueira, Santiago Daniel
,
Gorín
,
Daniel
Alejandro
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
10
Pest: From the lab to the classroom
por
de Caso, Guido
,
Garbervetsky, Diego
,
Gorín
,
Daniel
Alejandro
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
11
Integrated program verification tools in education
por
de Caso, Guido
,
Garbervetsky, Diego
,
Gorín
,
Daniel
Alejandro
Publicado 2013
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
12
Using logic in the generation of referring expressions
por
Areces, Carlos Eduardo
,
Figueira, Santiago Daniel
,
Gorín
,
Daniel
Alejandro
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
13
Model checking legal documents
por
Gorín
,
Daniel
Alejandro
,
Mera, Sergio Fernando
,
Schapachnik, Fernando Pablo
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
AUTOMATED REASONING
COINDUCTIVE MODELS
DECISION METHODS
DEMOSTRACION AUTOMATICA
DIRECT RESOLUTION
EXTRACTABILIDAD DE MODALIDADES
EXTRACTABILITY OF MODALITIES
FIRST-ORDER TRANSLATIONS
FORMAS NORMALES
Formal logic
HYBRID LOGICS
LOGICAS HIBRIDAS
METODOS DE DECISION
MODELOS COINDUCTIVOS
NORMAL FORMS
RESOLUCION DIRECTA
Semantics
TRADUCCIONES A PRIMER ORDEN
Bound variables
Computational linguistics
Eclipse plug-in
Expressive power
Flattening operator
Formal Semantics
Formal methods
Game theory
Independence friendly logic
Linguistics
Modal logic
Plug-ins
Cargando...