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 Universidad de Costa Rica
| Número de Clasificación: |
100 |
|---|---|
| Copia | Disponible |