![](/statics/img/blank.png)
BR-BMC
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://br-bmc.svn.sourceforge.net/
acerca de BR-BMC
Implementación de un algoritmo de revisión de creencias mediante la comprobación de modelos limitados para ACTL
Programas relacionados
-
The Image Collector Gratis
El recopilador de imágenes (denominado TIC) es una aplicación que ha sido diseñada para permitir la visualización rápida, categorización y descarga de imágenes de una amplia gama de servicios web.TIC le permite elegir el s
-
Contents Spider Jeanie 2009 Multi Prueba gratuita
Cree su propio directorio y motor de búsqueda, administre y ejecute su propio motor de búsqueda de alta potencia. Muestras: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP Gratis
Los objetivos del proyecto OpenACAP incluyen un servidor compatible con RFC 2244 (Applications Configuration Access Protocol), biblioteca de cliente, conjuntos de datos, documentación y servicio de hospedaje en vivo.
-
solexaqa Gratis
SolexaQA es un paquete de software para calcular estadísticas de calidad y representaciones visuales de la calidad de los datos a partir de archivos de datos FASTQ generados por la tecnología de secuenciación de segunda gener
-
Trout's Internet Clock Prueba gratuita
TIC es un reloj de escritorio, programador y Sincronizador de tiempo todo en uno.Personalice y aturda su escritorio, administresu hora y sincronizar el reloj del sistema.Diseña tu propio reloj o importa gráficos. Pr
-
Direct Democracy Gratis
Direct Democracy es un intento de desarrollar una infraestructura basada en la web para proporcionar una contribución democrática directa de miembros diversos y desconectados.
-
scalix-configurator Gratis
Script para configurar la edición de la comunidad scalix-11.4.6. Actualmente SLES10 es compatible. Instala las dependencias de la plataforma, ejecuta el instalador scalix, clamav, spamassassin, SSL, Pops, smtps e imaps y la t
-
AllInOnePortlet Gratis
Todos los usuarios pueden tomar ayuda de este portlet para cualquier funcionalidad básica necesaria para el desarrollo del portlet. Para conceptos básicos de cómo utilizar formularios, acciones, bibliotecas javascript, etc. E
-
Dofus Calculator 5 Gratis
Calculadora Dofus 2.0 para hechizos y daños en armas, ahora con la calculadora de golpes críticos Drop Rate y la calculadora de estadísticas de personajes
-
Y - simple, fast, free - What else? Gratis
Y es un sistema operativo basado en C, C++ y Assembler.It se convierte en futuro en una GUI, un sistema de archivos y más.