Listar Cinvestav-GUADALAJARA por autor "Navarro Contreras, José Salvador"
Mostrando ítems 1-1 de 1
-
Prueba de validez de argumentos lógicos y búsqueda de modelos utilizando redes de Petri
Navarro Contreras, José Salvador (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001)