Mostrando
1 - 4
Resultados de
4
Para Buscar '
Sottile, Cristian
'
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
Sottile, Cristian
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Sottile, Cristian
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
por
Sottile
,
Cristian
Publicado 2020
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Tesis
Tesis de grado
Agregar a favoritos
Guardado en:
2
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
por
Sottile
,
Cristian
Publicado 2021
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Enlace del recurso
Objeto de conferencia
Agregar a favoritos
Guardado en:
3
An End-User Semantic Web Augmentation tool
por
Sottile
,
Cristian
,
Firmenich, Sergio
,
Torres, Diego
Publicado 2019
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Agregar a favoritos
Guardado en:
4
Hacia un sistema I polimórfico
por
Sottile
,
Cristian
,
Díaz Caro, Alejandro
,
Martínez López, Pablo E.
Publicado 2019
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Objeto de conferencia
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Polimorfismo
Isomorfismos de tipos
Teoría de tipos
Cálculo Lambda
Cálculo lambda
Lambda cálculo
Sistema de pruebas
Tipos isomorfos
semantic Web
user interface
web augmentation
Cargando...