BR-BMC

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.5/5 - ‎2 ‎Votos

acerca de BR-BMC

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