Share on Tumblr

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