Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Razonamiento automático
5
Ciencias Informáticas
3
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Lógica matemática
2
Lógica modal
2
Lógicas de descripción
2
Mathematical Logic
2
SMT
2
Simetrías
2
ontologías
2
razonamiento automático
2
Computación ubicua
1
Evaluación de sistemas ubicuos
1
Ontologías
1
Sistemas adaptativos
1
Técnicas de diseño de software
1
documento legal
1
gestión de conocimientos
1
gestión de documentos
1
sistemas adaptativos
1
técnicas de diseño de software
1
web semántica
1
-
1por Rescía, GiovanniMaterias: “...Razonamiento automático...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Rescía, GiovanniMaterias: “...Razonamiento automático...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Durán, Elena Beatriz, Unzaga, Silvina, Álvarez, Margarita M., Salazar, Nevelyn, González, Gabriela, Fernández Reuter, Beatriz, Zachman, Patricia PaolaMaterias: “...razonamiento automático...”
Publicado 2017
Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Orbe, Alejandro EzequielMaterias: “...Razonamiento automático...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Orbe, Alejandro EzequielMaterias: “...Razonamiento automático...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7por Unzaga, Silvina, Durán, Elena Beatriz, Álvarez, Margarita, Salazar, Nevelyn, Fernández Reuter, Beatriz, González, Gabriela, Montoto, Sebastián, Sánchez, Daniel, Diaz, Fátima, Quintana Cancinos, FernandoMaterias: “...Razonamiento automático...”
Publicado 2020
Aportado por: SEDICI (UNLP)Objeto de conferencia