APA Citation

Rojas Romero, J. Á. (2024). Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme. Universidad de Costa Rica.

Chicago Style Citation

Rojas Romero, José Ángel. Sobre El Pensamiento Del Dr. Claudio Gutiérrez Carranza. Un Algoritmo De Inteligencia Artificial Para Probar Teoremas De Lógica De Cuantificación Uniforme. Universidad de Costa Rica, 2024.

MLA Citation

Rojas Romero, José Ángel. Sobre El Pensamiento Del Dr. Claudio Gutiérrez Carranza. Un Algoritmo De Inteligencia Artificial Para Probar Teoremas De Lógica De Cuantificación Uniforme. Universidad de Costa Rica, 2024.

Warning: These citations may not always be 100% accurate.