Construcción de nuevos ejemplos de lógica epistémica para S4n por medio del método tableaux / Elkin Triana Mota ; directora Luz Amparo Carranza ; asesor Gustavo Andres Campos Avendaño
Language: Spanish Publisher: Bogotá : s.n., 2016Description: 47 h. : il. ; CD-ROMSubject(s): ALGORITMOS | AXIOMAS | LOGICA MATEMATICA | MODALIDAD (MATEMATICA) | OPERACIONES MATEMATICAS | SEMANTICA | SINTAXIS | TESISDDC classification: 511.3Item type | Current location | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Tesis | Biblioteca Juan Alberto Aragón Bateman | Multimedia | T 511.3 / T741 (Browse shelf) | Ej. 1 | Available | Material Acompañante | CD0190 |
Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas e Ingenierías, 2016
Contiene acta de sustentación
There are no comments on this title.