Rojas Romero, J. Á. (2024). On dr. Claudio Gutierréz Carranza's thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
Chicago ZitierstilRojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought. An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2024.
MLA ZitierstilRojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought. An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.