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 StyleRojas Romero, José Ángel. On Dr. Claudio Gutierréz Carranza's Thought. An Algorithm of Artificial Inteligence to Prove Theorems of Uniform Cuantification Logic. 2024.
Παραπομπή 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.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.