Rojas Romero, J. Á. (2025). On dr. Claudio Gutierréz Carranza's thought: An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
Citación estilo 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.
Deismireacht 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.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.