Formalización de la teoría de plausibilidad y del grafo de plausibilidad - Rodríguez-Domínguez, Manuel; Castro-Ordoñez, Leví Astul (Cartago, Costa Rica : M. Rodríguez-D.; L. A. Castro-O., 1999)
Tesis
Bibliografía
ITCR
COTA
COMP
Keywords: Automatización; Matemáticas; Construcción; Herramientas documentales; Inducción; Estructuras; Tesis