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
8 × = veinte cuatro
Deje su comentario