Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza : un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme /
Autor principal: | |
---|---|
Formato: | Artículo |
Lenguaje: | Spanish |
Acceso en línea: | Ver artículo en línea |
Internet
Ver artículo en líneaSistema de Bibliotecas de la Universidad de Costa Rica
Número de Clasificación: |
100 |
---|---|
Copia | Disponible |