Deducción automática en gráficos existenciales / Daniel Barajas Higuera ; director Pervys Rengifo Rengifo
Language: Spanish Publisher: Bogotá : s.n., 2003Description: 76 h. : ilSubject(s): CALCULO | GRAFICOS | INTELIGENCIA ARTIFICIAL | LOGICA MATEMATICA | RAZONAMIENTO | TEORIA DE LOS GRAFICOS | TEORIA DE LOS GRAFOS | TESISDDC classification: 511.3Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Tesis | Biblioteca Juan Alberto Aragón Bateman | Tesis | T 511.3 / B171 (Browse shelf) | ej. 1 | Available | 006701 |
Browsing Biblioteca Juan Alberto Aragón Bateman shelves, Collection: Tesis Close shelf browser
T 501. / M168 Influencia del pensamiento cuántico en la psicología / | T 501. / M168 Influencia del pensamiento cuántico en la psicología / | T 511.3 / A529 Introducción a la teoría PCF / | T 511.3 / B171 Deducción automática en gráficos existenciales / | T 511.3 / C172 Sobre la formulación de la hipótesis de Riemann / | T 511.3 / C172 Sobre la formulación de la hipótesis de Riemann / | T 511.3 / J452 Gráficos existenciales gama en color y algunos sistemas de lógica modal / |
Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas, 2003
Sin acta de sustentación de trabajo de grado
There are no comments on this title.