Rojas Romero, J. Á. (2024). 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. 2024.
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. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.