Programas por br-bmc.sf.net

Implementación de un algoritmo de revisión de creencias mediante la comprobación de modelos limitados para ACTL