Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. EulerSharp
  5. Download

EulerSharp 2011-06-24

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos

Sobre EulerSharp

Euler é um motor de inferência que suporta provas baseadas em lógica. É um raciocínio de encadeamento retrógrado aprimorado com a detecção de caminho de Euler. Possui implementações em Java, C#, Python, Javascript e Prolog. Via N3 é interoperável com W3C Cwm.

Programas Relacionados

  • g15tools Livre

    Ferramentas do Userspace para o teclado logitech g15. Essas ferramentas podem ser usadas para exibir conteúdo personalizado no lcd e também para lidar com as teclas extras do teclado.

  • ARNUX Livre

    Bem-vindo ao ARNUX : Open Source Embedded Linux Project. Primeiro turco incorporado Linux distro. Um sistema operacional integrado e baseado em console. Patrocinado pelo ARDIC (Centro de Inovação em Desenvolvimento de Pesquis

  • Squirrel Shell Livre

    Squirrel Shell é uma alternativa multiplataforma para shells de sistema como bash no Linux e cmd.exe no Microsoft Windows. É baseado na linguagem de script "Squirrel".

  • wekula - A web interface to Bacula Livre

    wekula é interface web para o sistema de backup Bacula. Com ele, você poderá alterar as configurações do Bacula, parar/iniciar o Daemon Bacula, fazer uma única pesquisa e restauração de arquivos... Aditional fornecerá interfa

  • libfallocate Livre

    Os sistemas de arquivos podem evitar a fragmentação se souberem quão grandes serão os arquivos.Esta biblioteca fornece um invólucro para o fallocate () syscall (como glibc-2.10+), mas também conhece o ioctl xfs/ocfs2 e forn

  • AAT Direct Connect Hub Project Livre

    Scripts e mods de hub escritos para melhorar o OpenDCHub.O script Hub-Security filtra usuários não registrados por país e adiciona comandos de operações e recursos de segurança. Roteiros estatísticos e divertidos também est

  • yydecode -- decodes yEnc/uuencoded binar Livre

    yydecode é um decodificador altamente portátil para binários codificados yEnc emUsenet. Ele oferece funcionalidade superior ao uudecode, e pode ser usado como uma substituição drop-in.

  • ice Updater Livre

    ice Updater - solução sriptable para atualização automatizada e centralizado do MS Office. Pesquisa internacional e download de hotfixes e pacotes de serviços perdidos. Instale patches silenciosos na máquina local ou remota -

  • GACSoft Free Driver Updater Livre

    A descrição do GACSoft Free Driver Updater:Uma ferramenta gratuita de driver para atualizar excelentes drivers de PC em apenas alguns minutos...Este século é o tempo da tecnologia da informação. Com o crescente desenvolvi

  • V-Drive Livre

    V-Drive é um pequeno aplicativo que cria um disco rígido virtual no seu pc windows que acessa seus dados a partir de seu webspace pessoal fornecido pelo seu ISP, Uni etc. permitindo que você tenha uma unidade de disco que voc