Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Detalles Bibliográficos
Autor principal: Orbe, Alejandro Ezequiel
Otros Autores: Areces, Carlos Eduardo
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2016
Materias:
Lógica matemática
Deducción y prueba de teoremas
Lógica modal
Mathematical Logic
Deduction and Theorem Proving
Razonamiento automático
SMT
Acceso en línea:http://hdl.handle.net/11086/2844
Aporte de:
Aportado por : Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba .
id I10-R141-11086-2844
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Lógica matemática
Deducción y prueba de teoremas
Lógica modal
Mathematical Logic
Deduction and Theorem Proving
Razonamiento automático
SMT
spellingShingle Lógica matemática
Deducción y prueba de teoremas
Lógica modal
Mathematical Logic
Deduction and Theorem Proving
Razonamiento automático
SMT
Orbe, Alejandro Ezequiel
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
topic_facet Lógica matemática
Deducción y prueba de teoremas
Lógica modal
Mathematical Logic
Deduction and Theorem Proving
Razonamiento automático
SMT
description Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
author2 Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
Orbe, Alejandro Ezequiel
format doctoralThesis
author Orbe, Alejandro Ezequiel
author_sort Orbe, Alejandro Ezequiel
title Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
title_short Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
title_full Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
title_fullStr Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
title_full_unstemmed Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
title_sort simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
publishDate 2016
url http://hdl.handle.net/11086/2844
work_keys_str_mv AT orbealejandroezequiel simetriasenrazonamientoautomaticoelcasodelaslogicasmodalesysatisfacibilidadmoduloteorias
bdutipo_str Repositorios
_version_ 1764820392209285123

Ejemplares similares