Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza : un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme /

Detalles Bibliográficos
Autor principal: Rojas Romero, José Angel (Autor/a)
Formato: Artículo
Lenguaje:Spanish
Acceso en línea:Ver artículo en línea
LEADER 01034nab a2200181 a 4500
001 000718433
005 20240213110559.0
008 100129s2024 cr | p s |||||0spa
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
082 0 |a 100 
100 1 |a Rojas Romero, José Angel  |e Autor/a 
245 1 0 |a Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza :  |b un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme /  |c José Ángel Rojas Romero. 
300 |a 1 recurso en línea (páginas 211-227) :  |b archivo de texto, PDF. 
500 |a En Revista de filosofía de la Universidad de Costa Rica--Volumen 63, número 165 (Enero-Abril 2024)--Descripción basada en el contenido visto el 13 de febrero, 2024--"Dossier II : El pensamiento filosófico de Claudio Gutiérrez Carranza" 
530 |a También disponible en formato HTML 
856 4 1 |u https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416  |y Ver artículo en línea 
916 |a Centro Catalográfico 
949 |a -VTL