Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza : un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme /

Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza : un algoritmo de inteligencia artificial para probar teoremas de lógica de cuantificación uniforme /

Detalles Bibliográficos
Autor principal: Rojas Romero, José Angel (Autor/a)
Formato: Artículo
Lenguaje:Spanish
Acceso en línea:Ver artículo en línea

Ejemplares similares

Ejemplares similares