Listar Computación por autor "Muñetón Pérez, Octavio"
Mostrando ítems 1-1 de 1
-
Demostración y búsqueda de modelos automáticas para lógica de primer orden
Muñetón Pérez, Octavio (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013)