Rojas Romero, J. Á. (2025). On dr. Claudio Gutierréz Carranza's thought: An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
Stile di citazione 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.
Citazione 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.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.