Rojas Romero, J. Á. (2025). 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. 2025.
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. 2025.
警告: この引用は必ずしも正確ではありません.