Lógica temporal
Lógica temporal: Prior y Borges
6
El problema de los tiempos verbales en la lógica temporal Límites de los análisis de Prior y Reichenbach
69
Programación en lógica temporal basada en los operadores Since y Until
15
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
12
TítuloModelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino
6
Análisis de sistemas críticos en teoría de tipos
12
El problema de marco: la formalización de sistemas dinámicos en agentes artificiales.
20
Síntesis de protocolos de comunicación a partir de especificaciones de servicio
214
Lógica, lenguaje y significado. Lógica intensional y gramática lógica
23
Modelización y verificación automática de un proceso software
12
Lógica
97
Lógica clásica y lógica difusa: Facetas que las caracterizan
11
Comentario a "Lógica y realidad : las razones de la lógica"
8
Estudio de factibilidad para la producción de Tara (Caesalpinia spinosa) en el centro poblado Zapotal, Distrito de Huarango, Provincia de San Ignacio, Departamento de Cajamarca – Perú
249
Relaciones entre la lógica cuántica y la lógica clásica
8
De la lógica silogística a la lógica jurídica estructural
238
La lógica de relaciones y la lógica cuantificacional: aportes de Charles Peirce
12
De como separar los elementos de la lógica interna y de la lógica externa.
5
VAN HEIJENOORT Lógica como cálculo y Lógica como Lenguaje pdf
6
Negación de condicionales: un problema en la lógica filosófica y en la enseñanza de la lógica
9