Showing 1,021 - 1,040 results of 7,324 for search '"logic"', query time: 0.11s Refine Results
  1. 1021
    http://purl.org/coar/resource_type/c_6705
    Design of an automatic sprinkler irrigation system for the Welsh onion growing, in La Puerta farm (Tota-Boyacá)
    Published in 2012
    Repositorio RiUPTC: Repositorio Institucional UPTC
    “... technologies for the design are presented: hard-wired and programmable logic. The hard-wired logic system...”
    Get full text
    Get full text
  2. 1022
    Article of journal
    An elementary and unified approach to program correctness
    Por Bohórquez, Jaime
    Published in 2009
    Repositorio Repositorio Institucional ECI

    “... to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative...”
    Get full text
  3. 1023
    Trabajo de grado de pregrado
    La autorregulación como posibilidad para aprender lógica proposicional a través del ajedrez
    Por Isaza Agudelo, Yorman Arley; Londoño, Neysy Catalina
    Published in 2019
    Repositorio Repositorio UdeA

    Get full text
  4. 1024
    Article of investigation
    Productos de espacios topológicos sobre álgebras multivaluadas
    Por Luna Torres, Joaquín
    Published in 2001
    Repositorio Repositorio U. Sergio Arboleda

    Get full text
    Get full text
  5. 1025
    Ciudadanía movilizada: motivos, emociones y contextos
    Por Vilas, Xiana; Alzate, Mónica; Sabucedo, José Manuel
    Published in 2016
    Repositorio Repositorio Institucional USTA

    Get full text
    Get full text
  6. 1026
    Article of journal
    Modelo de apoyo a la comercialización de electricidad usando lógica difusa y aprendizaje de máquina.
    Por Moreno Cadavid, Julián; Ovalle Carranza, Demetrio Arturo
    Published in 2009
    Repositorio Universidad Nacional de Colombia

    “... of using a model based on fuzzy logic and machine learning in order to maximize the profits of Colombian...”
    Get full text
    Get full text
  7. 1027
    Ciudadanía movilizada: motivos, emociones y contextos
    Por Vilas, Xiana; Alzate, Mónica; Sabucedo, José Manuel
    Published in 2016
    Repositorio Universidad Santo Tomás

    Get full text
    Get full text
  8. 1028
    Lógica continua y lógica trascendental
    Por Suárez Sanabria, Luis Carlos
    Published in 2018
    Repositorio Séneca: repositorio Uniandes

    Get full text
  9. 1029
    Establecimiento de la ciudad hispana en América
    Published in 2010
    Repositorio Repositorio EdocUR - U. Rosario
    Get full text
  10. 1030
    Conflictos Ambientales frente al Proyecto Perimetral de Oriente. Alternativas participativas de construcción social del hábitat en el Municipio de Choachí
    Por León Luque, Luisa Fernanda
    Published in 2016
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
    Get full text
  11. 1031
    Caracterización y estudio de dispositivos basados en nanoestructuras de ZnO:Co para su aplicación en memorias no volátiles usando una configuración tipo transistor
    Por Terán Ramírez, Cristian Leonardo
    Published in 2022
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  12. 1032
    Article of journal
    Acontecimiento y verdad: la verdad por-venir como verdad a dar
    Por Dipaola, Esteban; Lutereau, Luciano
    Published in 2016
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  13. 1033
    http://purl.org/coar/version/c_b1a7d7d4d402bcce
    Modelo de evaluación de la calidad en servicios hoteleros de la ciudad de Bucaramanga basado en lógica difusa
    Por Leon Naranjo, Julian Armando; Baez Castro, William Alfonso
    Published in 2017
    Repositorio Repositorio UIS

    Get full text
    Get full text
  14. 1034
    Article of journal
    Matematización de los procesos químicos. Segunda parte.
    Por Gallego Badillo, Rómulo; Pérez Miranda, Royman; Gallego Torres, Adriana Patricia
    Published in 2010
    Repositorio Repositorio Institucional UPN

    Get full text
    Get full text
  15. 1035
    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
  16. 1036
    Trabajo de grado de pregrado
    Prototipo de memoria corporativa aplicada al Laboratorio de Computo de la Universidad Autónoma de Bucaramanga
    Por Gil Morales, José Julián; Meza González, Diego Alberto; Pimienta Chaparro, Giulianno Farid
    Published in 2001
    Repositorio Repositorio UNAB

    Get full text
  17. 1037
    http://purl.org/coar/version/c_b1a7d7d4d402bcce
    Programa de Diseño Asistido por Computador (CAD) para desarrollar y simular circuitos hidráulicos básicos con lógica booleana fase 1
    Por Chacon Fuentes, Andres Felipe; Restrepo Rodriguez, Camilo Andres
    Published in 2018
    Repositorio Repositorio UIS

    Get full text
    Get full text
  18. 1038
    Trabajo de grado de pregrado
    Algoritmos y sistemas de control borroso aplicados en una planta de calcinación de la industria de producción de níquel
    Por Muñoz Moner, Antonio Faustino
    Published in 2002
    Repositorio Repositorio UNAB

    Get full text
  19. 1039
    Article of journal
    Aproximación al mantenimiento eléctrico predictivo de un motor impulsor de una bomba centrífuga utilizando inteligencia artificial
    Por Gil Arrieta, César Javier
    Published in 2010
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  20. 1040
    Article of journal
    La matematización de los procesos químicos. Primera parte.
    Por Gallego Badillo, Rómulo; Pérez Miranda, Royman; Figueroa Molina, Roberto
    Published in 2010
    Repositorio Repositorio Institucional UPN

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