Showing 141 - 160 results of 189 for search '"axiom"', query time: 0.13s Refine Results
  1. 141
    Análisis envolvente de datos y cálculo multivariado para valorar, clasificar y predecir la eficiencia productiva y de innovación de las empresas del sector químico
    Por De La Hoz, Efraín; Fontalvo, Tomás; López, Ludis
    Published in 2019
    Repositorio Repositorio Digital USB

    Get full text
  2. 142
    Part of book
    Automatic proof-search heuristics in the Maude invariant analyzer tool
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 143
    Trabajo de grado de pregrado
    Influencia de las organizaciones de préstamo internacional sobre las actuaciones administrativas en Colombia después de la Segunda Guerra Mundial
    Por López Cubillos, Sergio Nicolás
    Published in 2021
    Repositorio RIU - Repositorio Institucional UniLibre

    Get full text
  4. 144
    Análisis del Ejército Zapatista de Liberación Nacional como modelo de guerrilla estética, a la luz de la teoría de la resistencia planteada por Jacques Rancière
    Published in 2012
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
    Get full text
  5. 145
    Trabajo de grado de pregrado
    Geometría esférica a través de clases investigativas
    Por Cely Mesa, Edwin Fernando
    Published in 2022
    Repositorio RiUPTC: Repositorio Institucional UPTC

    “... some axioms, postulated theorems, and definitions proper to plane geometry versus spherical geometry....”
    Get full text
  6. 146
    Part of book
    Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2010
    Repositorio Repositorio Institucional ECI

    “... modulo equational axioms such as associativity, commutativity, and identity. They are used to extend...”
    Get full text
  7. 147
    Trabajo de grado de pregrado
    Entre extensión y fuerza: una corrección de la mecánica cartesiana a la luz de la dinámica Leibniziana
    Por Fuentes Gutierrez, Juan Sebastián
    Published in 2019
    Repositorio RIU - Repositorio Institucional UniLibre

    Get full text
  8. 148
    Part of book
    Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
    Por Rocha, Camilo; Meseguer, José
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Get full text
  9. 149
    Part of book
    Towards a Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  10. 150
    Article of journal
    Ventajas y desventajas del uso de un método deductivo/inductivo en la investigación en administración de negocios
    Published in 2010
    Repositorio Expeditio: repositorio UTadeo
    Get full text
    Get full text
    Get full text
  11. 151
    Trabajo de grado de pregrado
    Herramienta para la transformación de modelos orientados a agentes, a modelos orientados a síntesis de redes de procesos
    Por Fajardo Fajardo, Oscar Andrés
    Published in 2011
    Repositorio Repositorio UNAB

    Get full text
  12. 152
    Article of investigation
    Location of Urban Logistics Spaces (ULS) for Two-Echelon Distribution Systems
    Por José Ruiz-Meza; Karen Meza-Peralta; Jairo R. Montoya-Torres; JesusGonzalez-Feliu
    Published in 2021
    Repositorio Repositorio Digital CECAR

    Get full text
    Get full text
  13. 153
    Sobre la superestabilidad en Q-Clases elementales abstractas
    Por Nájar Salinas, José Nicolás
    Published in 2020
    Repositorio Universidad Nacional de Colombia

    Get full text
  14. 154
    Book
    Fundamentos de topología algebraica
    Por Rubiano Ortegón, Gustavo Nevardo
    Published in 2007
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  15. 155
    Trabajo de grado de pregrado
    Implicaciones de la violencia sexual en la salud mental: Una mirada desde las subjetividades de mujeres víctimas en el Municipio de Sincelejo-Sucre /
    Por Salcedo Diaz, Fabian Andrés; Moreno Contreras, Blanca Rosa
    Published in 2023
    Repositorio Repositorio Digital CECAR

    Get full text
    Get full text
  16. 156
    Evaluación Psicológica de la Toma de Decisiones Éticas de Riesgo en Entorno Organizacional: Revisión Teórica
    Published in 2014
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
    Get full text
  17. 157
    Ontología para la infraestructura de datos espaciales marítima, fluvial y costera de Colombia
    Por Montoya Gonzalez, Angie Andrea
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  18. 158
    Book
    Garantías mobiliarias Ley 1676 de 2013.
    Por Veiga Copo, Abel B.
    Published in 2017
    Repositorio Repositorio U. Sergio Arboleda

    Get full text
  19. 159
    Interrupción voluntaria del embarazo por alteraciones en la salud mental de la madre gestante en Colombia
    Por Mendoza Morrón, Jarissa
    Published in 2021
    Repositorio RIU - Repositorio Institucional UniLibre

    Get full text
  20. 160
    Doctoral thesis
    Fractional differential equations and inverse problems.
    Por Echeverry Franco, Manuel Danilo
    Published in 2020
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search