Showing 121 - 140 results of 216 for search '"axiom"', query time: 0.11s Refine Results
  1. 121
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    “... reasoning. Narrowing modulo axioms is extensively used in our inference system to further simplify...”
    Get full text
  2. 122
    Article of journal
    El campus de la Universidad del Valle: un laboratorio de diseño del paisaje moderno en Colombia
    Por Iglesias-García, Verónica
    Published in 2022
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
    Get full text
  3. 123
    Trabajo de grado de pregrado
    Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio UNAB

    Get full text
  4. 124
    Article of journal
    Black-Litterman con técnicas difusas: caso índice Coleqty
    Por Franco, Yuly Andrea
    Published in 2021
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  5. 125
    Article of journal
    Marketing: ¿ciencia o arte? El estado del arte del concepto efectividad de mercadeo
    Por Zapata Guerrero, Edgar Enrique
    Published in 2002
    Repositorio Repositorio UNAB

    Get full text
  6. 126
    Efectos del significante en un caso de delincuencia juvenil : estudio de caso con perspectiva psicoanalítica
    Por Pinto Velasco, Deisy Rocío
    Published in 2015
    Repositorio Repositorio USB

    “... those words or axioms goings of Other marked the destiny of this subject, and affected their life...”
    Get full text
  7. 127
    Doctoral thesis
    Plexo y sus nexos conflictivos por el uso del agua y el petróleo
    Por Manjarres Garcia, Arecio
    Published in 2023
    Repositorio Repositorio U. El Bosque

    Get full text
  8. 128
    Article of journal
    Caracterización del estilo de comportamiento basado en infracciones de los conductores de servicio público de Villavicencio
    Por Castro-Garzón, Hernando; Suarez-Puerto, Lilia
    Published in 2017
    Repositorio Repositorio Digital Universidad de los LLanos

    Get full text
    Get full text
  9. 129
    Article of journal
    Caracterización del estilo de comportamiento basado en infracciones de los conductores de servicio público de Villavicencio
    Por Castro-Garzón, Hernando; Suarez-Puerto, Lilia
    Published in 2017
    Repositorio Repositorio Digital Universidad de los LLanos

    Get full text
    Get full text
  10. 130
    Article of investigation
    Ludwig Wittgenstein : Remarks on the foundations of mathematics. Parte IV 1942-1944
    Por Monsalve Solórzano, Alfonso
    Published in 1990
    Repositorio Repositorio UdeA

    Get full text
    Get full text
  11. 131
    Article of journal
    Cristina Lafont sobre la completitud de la razón pública
    Por Moreso, J. J.
    Published in 2023
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  12. 132
    De la referencia de los términos y enunciados a la referencia de las teorías: Novedad de la propuesta Sneedena.
    Published in 2011
    Repositorio Repositorio Institucional U. Caldas
    Get full text
  13. 133
    Trabajo de grado de pregrado
    Implementación de una Ontología y herramienta de consulta para un programa de Maestría en Ciencias de la Computación
    Por Reyes Peña, Cecilia; Tovar Vidal, Mireya; Vázquez González, Concepción Stephanie
    Published in 2018
    Repositorio Repositorio UNAB

    Get full text
  14. 134
    Article of journal
    Probabilidad e incertidumbre, una aproximación desde la historia del pensamiento
    Por García Molina, Mario
    Published in 2016
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  15. 135
    Politicas públicas en educación
    Por Corporación Universidad de la Costa
    Published in 2021
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  16. 136
    Article of journal
    Evaluating the performance in the environmental management and reverse logistics in companies of plastic sector: an integration of fuzzy AHP, DEMATEL and TOPSIS methods
    Por Jiménez Delgado, Genett; alcazar franco, daniel jesus; GARCIA TAMAYO, DIANA MARCELA; Oliveros Eusse, Pedro Luis; Gomez Diaz, Melissa
    Published in 2021
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
    Get full text
  17. 137
    Article of journal
    Intelligent sine cosine optimization with deep transfer learning based crops type classification using hyperspectral images
    Por Escorcia-Gutierrez, Jose; Gamarra, Margarita; Torres Torres, Melitsa; Madera, Natasha; Calabria- Sarmiento, Juan Carlos; Mansour, Romany F.
    Published in 2022
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
    Get full text
  18. 138
    Article of investigation
    A study on extended form of multivariable Hermite-Apostol type Frobenius-Euler polynomials via fractional operators
    Por Zayed, Mohra; Wani, Shahid Ahmad; Oros, Georgia Irina; Ramírez, William
    Published in 2024
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  19. 139
    Article of investigation
    New Classes of Degenerate Unified Polynomials
    Por BEDOYA VALENCIA, DANIEL ALEJANDRO; Cesarano, Clemente; Díaz, Stiven; Ramirez, William
    Published in 2022
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  20. 140
    Revisión documental sobre orden social y salud mental
    Por Gómez Martínez, Alix María; Cardona García, María Isabel; Cubillos Pérez, Mary Isabel
    Published in 2010
    Repositorio Repositorio UNAB

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