Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. BR-BMC

BR-BMC

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

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

historial de versiones

  • Versión N/A publicado en 2011-07-24
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-07-24

Detalles del programa

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.