APA citiranje

Rojas Romero, J. Á. (2024). On dr. Claudio Gutierréz Carranza's thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic.

Citación estilo Chicago

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 citiranje

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.