-
1Part of bookPor Pérez, Ramón; Inga, Esteban; Aguila, Alexander; Vásquez, Carmen; Lima, Liliana; amelec, viloria; Maury-Ardila, HenryPublished in 2022Repositorio REDICUC - Repositorio CUCSubjects: “...Fuzzy logic...”
Get full text
Get full text
-
2Part of bookPublished in 2020Repositorio Repositorio U. Sergio ArboledaSubjects: “...Logic - Computer-assisted instruction aprendizaje Learning...”
Get full text
-
3Part of bookPublished in 2019Repositorio RED: Repositorio Educativo Digital UAOSubjects: “...Analytical logic...”
Get full text
Get full text
-
4Part of bookPublished in 2012Repositorio Repositorio Institucional ECISubjects: “...Linear Temporal Logic...”
Get full text
-
5Part of bookPublished in 2012Repositorio Repositorio Institucional ECISubjects: “...Linear Temporal Logic...”
Get full text
-
6Part of bookPublished in 2010Repositorio Repositorio Institucional ECISubjects: “...Equational Logic...”
Get full text
-
7Part of bookPublished in 2017Repositorio Repositorio Institucional ECISubjects: “...Dijkstra-Scholten logic...”
Get full text
-
8Part of bookPublished in 2017Repositorio Repositorio Institucional ECISubjects: “...Dijkstra-Scholten logic...”
Get full text
Get full text
-
9Part of bookPublished in 2018Repositorio Repositorio Digital CECARSubjects: “...logical framework...”
Get full text
-
10Part of bookPublished in 2017Repositorio Repositorio Institucional ECISubjects: “...Rewriting logic...”
Get full text
Get full text
-
11Part of bookPublished in 2009Repositorio Repositorio Institucional ECISubjects: “...Logic...”
Get full text
-
12Part of bookPublished in 2019Repositorio Expeditio: repositorio UTadeo“... into the order- ing logics that determine through time the continuous production and reproduction of space...”
Get full text
Get full text
Get full text
-
13Part of bookPor Rocha, CamiloPublished in 2013Repositorio Repositorio Institucional ECIGet full text
-
14Part of bookPor Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Mello, Wilson; Arboleda, HugoPublished in 2018Repositorio Repositorio Institucional ECI“... and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have...”
Get full text
-
15Part of bookPor Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Melo, Willson; Arboleda, HugoPublished in 2018Repositorio Repositorio Institucional ECI“... and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have...”
Get full text
Get full text
-
16
-
17
-
18
-
19Part of bookPublished in 2011Repositorio Repositorio Institucional ECI“...Maude is a declarative and reflective language based on rewriting logic in which computation...”
Get full text
-
20Part of bookPublished in 2021Repositorio REDICUC - Repositorio CUC“... entrepreneurship and management operations from the logic of individual values and the practices of SMEs managers...”
Get full text
Get full text
