Lógica y computación

Por |marzo 31st, 2014|

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