Lógica Clásica Proposicional Computacional
Lógica Clásica de Primer Orden Computacional
Lógica Modal y Multimodal Computacional
Lógica Temporal Computacional
Logica Abductiva y Lógica Paraconsistente Computacional
Algebra y Computacion
nueve + = 11
Deje su comentario