Rojas Romero, J. Á. (2025). On dr. Claudio Gutierréz Carranza's thought: An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
Citação norma ChicagoRojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought: An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2025.
Citação norma MLARojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought: An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2025.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.