Browsing Proyectos de Investigación by Subject "Calculo de predicados"
Now showing items 1-1 of 1
-
Estructuras algebraicas ordenadas asociadas y lógicas no clásicas
(2011-01-01)En los últimos años el estudio de lógicas que admiten más de dos valores de verdad ha adquirido una importancia creciente, y ha encontrado, entre otras cosas, importantes aplicaciones en algunas ramas de la computación, ...(proyecto)