Rojas Romero, J. Á. (2024). On dr. Claudio Gutierréz Carranza's thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.
シカゴスタイル引用形Rojas 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引用形式Rojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought. An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2024.
警告: この引用は必ずしも正確ではありません.