Mostrando
1 - 4
Resultados de
4
Para Buscar '
Huertas, Antonia
'
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
Huertas, Antonia
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Huertas, Antonia
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Lógicas para la red
por
Huertas
,
Antonia
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca BIBHUMA (FAHCE-UNLP)
Artículo
Cargando...
Agregar a favoritos
Guardado en:
2
Completeness in hybrid type theory
por
Areces, Carlos Eduardo
,
Blackburn, Patrick
,
Huertas
,
Antonia
,
Manzano, María
Publicado 2021
Aportado por:
Repositorio Digital Universitario (UNC)
Enlace del recurso
Enlace del recurso
article
Agregar a favoritos
Guardado en:
3
Completeness in hybrid type theory
por
Areces, Carlos Eduardo
,
Blackburn, Patrick
,
Huertas
,
Antonia
,
Manzano, María
Publicado 2021
Aportado por:
Repositorio Digital Universitario (UNC)
Enlace del recurso
Enlace del recurso
article
Agregar a favoritos
Guardado en:
4
Lógica para principiantes
por
Manzano, María
Publicado 2004
Otros Autores:
“
...
Huertas
,
Antonia
...
”
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Laura Manzo (UNQ)
Libro
Cargando...
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
@ operators
Higher-order modal logic
Hybrid logic
Nominals
SEMÁNTICA
Type theory
CÁLCULO DE PROPOSICIONES
LÓGICA
LÓGICA MATEMÁTICA
LÓGICAS PARA LA WEB
ONTOLOGÍA
RAZONAMIENTO
TEORÍA DE CONJUNTOS
TEORÍA LÓGICA
WEB SEMÁNTICA
Cargando...