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
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
Ciencias Informáticas
1
Computación ubicua
1
Evaluación de sistemas ubicuos
1
Ontologías
1
Sistemas adaptativos
1
Técnicas de diseño de software
1
-
1por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por 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, Fernando
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Rescía, Giovanni
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
5por Rescía, Giovanni
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis