Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. HLM Proof Assistant
  5. Download

HLM Proof Assistant

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre HLM Proof Assistant

O HLM é um assistente de prova para a matemática do dia-a-dia, que está atualmente a ser desenvolvido. Visa uma experiência do utilizador o mais próximo possível da prática matemática regular, e provas que são compreensíveis pelos seres humanos com pouco esforço extra.

Programas Relacionados

  • MLA Auto-Generator Grátis

    Gera entradas corretamente formatadas (MLA, APA, Chicago, CPE, Turabian) para obras citadas ou páginas de bibliografia.

  • Animal Imaging Grátis

    "animal-imaging" é um projeto de recolha e divulgação de informação sobre tecnologias de imagem (por exemplo, CT, RM, PET, ultrassom) pertinente à imagem viva dos animais.

  • Wordcorr Grátis

    O Wordcorr automatiza o tedioso e arriscado processo de tabulação e gestão das correspondências sonoras utilizadas na elaboração do desenvolvimento histórico das línguas naturais. Dá acesso a todos os dados, a toda a hora. O

  • aMS - advanced Modeling System Grátis

    Um sistema de perfis/modelação do utilizador que tem a capacidade de ser utilizado com todos os tipos de sistema de personificação. A avantage é que este sistema não está incluído numa aplicação e pode ser usado para muitos f

  • X-Specs Grátis

    Bibliotecas e ferramentas para apoiar o design do software usando código executável como especificações, para apoiar o Desenvolvimento Driven test e outros métodos Ágeis.

  • Action Movies Grátis

    Gosta de testes? Gosta de Cultura Pop dos anos 00? Gosta de coisas grátis? Então esta é a aplicação para si... divertido, livre de perguntas triviais de escolha múltipla no seu bolso! Achas que sabes a diferença entre um Good

  • New Super Mario Bros Guide Grátis

    NEW SUPER MARIO BROS WII GUIDE "AN UNOFFICIAL WALKTHROUGH GUIDEÂÂinCLUDES THE SEGUINTE:WALKTHROUGH- World 1- World 2- World 3etc¢€ WARP CANNONSetc.. SEGREDOS- Guarda-esconde. COGUMELO HOUSESetc.. Tags:"New super

  • Baby's number school(flower) Julgamento Gratuito

    A melhor aplicação para bebés.O bebê pode estudar o número com as lindas flores.Apoiamos 10 fotos de flores e números de 1~10.Ajuda o seu bebé a desenvolver o cérebro.Divi-se com esta aplicação!★ Download

  • RAPID Grátis

    Rapid (REBOL API DocuMentor) fornece uma forma de obter documentação do código fonte REBOL e publicar em vários formatos de saída, como HTML, PDF, make-doc-pro, entre outros.

  • Logic Solver (truth tables) Julgamento Gratuito

    Este programa mostra tabelas de verdade, você introduz uma proposta com as letras que você prefere, por exemplo: PvQ^R ou Av~B, e o programa mostra-lhe a tabela da verdade.Este programa também o ajuda a simplificar as pro