![](/statics/img/blank.png)
BR-BMC
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://br-bmc.svn.sourceforge.net/
Sobre BR-BMC
Implementação de um algoritmo de revisão de crenças usando a verificação de modelos limitados para ACTL
Programas Relacionados
-
The Image Collector Grátis
O Colecionador de Imagens (referido como TIC) é uma aplicação que foi concebida para permitir a visualização rápida, categorização e descarregamento de imagens de uma série de serviços web.O TIC permite-lhe escolher o serv
-
Contents Spider Jeanie 2009 Multi Julgamento Gratuito
Crie o seu próprio diretório e motor de busca, gerencie e gere o seu próprio motor de busca de alta potência. Amostras: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP Grátis
Os objetivos do Projeto OpenACAP incluem um servidor compatível com o RFC 2244 (Applications Configuration Access Protocol), biblioteca de clientes, conjuntos de dados, documentação e serviço de hospedagem ao vivo.
-
solexaqa Grátis
SolexaQA é um pacote de software para calcular estatísticas de qualidade e representações visuais da qualidade dos dados a partir de ficheiros de dados FASTQ gerados pela tecnologia de sequenciação de segunda geração illumina
-
Trout's Internet Clock Julgamento Gratuito
TIC é um relógio de mesa, agendador e Sincronizador de tempo tudo em um.Personalize e apereça o seu ambiente de trabalho, gerencieo seu tempo e sincronizar o relógio do sistema.Desenhe o seu próprio relógio ou importe
-
Direct Democracy Grátis
A Democracia Direta é uma tentativa de desenvolver uma infraestrutura baseada na web para fornecer contribuições democráticas diretas por parte de membros diversos e desligados.
-
scalix-configurator Grátis
Script para configurar a edição comunitária scalix-11.4.6. Atualmente o SLES10 é suportado. Instala as dependências da plataforma, executa o instalador scalix, clamav, spamassassin, SSL, Pops, smtps e imaps e a tradução espan
-
AllInOnePortlet Grátis
Todos os utilizadores podem receber ajuda desta portalet para qualquer funcionalidade básica necessária para o desenvolvimento de portões. Para o básico como usar formulários, ações, bibliotecas javascript, etc. Isto vai foca
-
Dofus Calculator 5 Grátis
Dofus 2.0 Calculadora para danos em feitiços e armas, agora com taxa de queda de calculador de sucesso crítico e calculadora de estatísticas de caracteres
-
Y - simple, fast, free - What else? Grátis
Y é um Sistema Operativo baseado em C, C++ e Assembler.It torna-se no futuro um GUI, um sistema de ficheiros e muito mais.