Simetrías en lógicas de descripción
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento analizando en detalle sólo uno de los casos simétricos y luego generalizar el resu...
Guardado en:
| Autor principal: | Rescía, Giovanni |
|---|---|
| Otros Autores: | Orbe, Alejandro Ezequiel |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/5843 |
| Aporte de: |
Ejemplares similares
-
Simetrías en lógicas de descripción
por: Rescía, Giovanni
Publicado: (2018) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
La simetría /
por: Weyl, Hermann
Publicado: (1958) -
La simetría /
por: Weyl, Hermann
Publicado: (1958)