Rojas Romero, J. Á. (2025). On dr. Claudio Gutierréz Carranza's thought: An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
Styl 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.
Citace podle 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..