![](/statics/img/blank.png)
BR-BMC
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://br-bmc.svn.sourceforge.net/
Sobre BR-BMC
Implementação de um algoritmo de Revisão de Crenças usando verificação de modelo limitado para ACTL
Programas Relacionados
-
The Image Collector Livre
O Image Collector (conhecido como TIC) é um aplicativo que foi projetado para permitir a visualização rápida, categorização e download de imagens de uma variedade de serviços web.O TIC permite que você escolha o serviço we
-
Contents Spider Jeanie 2009 Multi Avaliação gratuita
Crie seu próprio diretório e mecanismo de busca, gerencie e execute seu próprio mecanismo de busca de alta potência. Amostras: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP Livre
As metas do Projeto OpenACAP incluem um servidor compatível com RFC 2244 (Applications Configuration Access Protocol), biblioteca de clientes, conjuntos de dados, documentação e serviço de hospedagem ao vivo.
-
solexaqa Livre
SolexaQA é um pacote de software para calcular estatísticas de qualidade e representações visuais da qualidade dos dados a partir de arquivos de dados FASTQ gerados pela tecnologia de sequenciamento de segunda geração da Illu
-
Trout's Internet Clock Avaliação gratuita
TIC é um relógio de desktop, agendador e Sincronizador de tempo all-in-one.Personalize e ajee sua área de trabalho, gerencieseu tempo e sincronizar seu relógio de sistema.Projete seu próprio relógio ou gráficos de imp
-
Direct Democracy Livre
O Democracia Direta é uma tentativa de desenvolver uma infraestrutura baseada na web para fornecer contribuição democrática direta por membros diversos e desconectados.
-
scalix-configurator Livre
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 em e
-
AllInOnePortlet Livre
Todos os usuários podem obter ajuda desta porta para qualquer funcionalidade básica necessária para o desenvolvimento de portlet. Para o básico como usar formulários, ações, bibliotecas javascript etc. Principalmente isso vai
-
Dofus Calculator 5 Livre
Calculadora Dofus 2.0 para danos de feitiços e armas, agora com taxa de queda da calculadora de impacto crítico e calculadora de estatísticas de caracteres
-
Y - simple, fast, free - What else? Livre
Y é um sistema operacional baseado em C, C++ e Assembler.It torna-se no futuro uma GUI, um sistema de arquivos e muito mais.