UNB Theorem Prover?

Programas Relacionados

• fastAOP Grátis

  FastAOP é uma estrutura AOP muito alta (Programação Orientada para aspetos) para java. O quadro foi inicialmente desenvolvido para apoiar perfis de desempenho e monitorização para grandes aplicações J2EE sem quase nenhum te

• Butterfly Code Generator Grátis

  Butterfly é um gerador de código simples que usa xMI como os modelos de entrada e XSLT para gerar qualquer tipo de código. Vários modelos são fornecidos, incluindo EJB, JDO e Struts. Os utilizadores podem usar os modelos, mo

• Neural network designer Grátis

  Este projeto é composto por uma aplicação de design baseada em janelas e uma biblioteca (que pode funcionar em várias plataformas, incluindo android) juntamente com várias aplicações de demonstração (incluindo um cliente de c

• DL-Learner Grátis

  DL-Learner é uma ferramenta para aprender conceitos em Description Logics (DLs) a partir de exemplos fornecidos pelo utilizador. Equivalentemente, pode ser usado para aprender aulas em ontologias OWL a partir de objetos selec

• MakeEmbeddedRootfilesystem Grátis

  As makerootfs facilitam a construção de um sistema de ficheiros de raiz para dispositivos incorporados (por exemplo, baseados em ARM) automatizando o processo de compilação cruzada através de scripts de conchas, patches e con

• VCS Agents and Tools Grátis

  O objetivo deste projeto é fornecer plugins ("agents") para o Servidor de Cluster Veritas numa base Open Source.

• Etnia Workbench Grátis

  Extensões ao projeto CDT wich configurar compiladores extra e outros plugins para tornar integrar vários plattformes (na verdade Texas Instrument & PIC microprocessadores)

• Steini\'s Mini Compiler Grátis

  O Mini Compilador steini's é um compilador rápido DOS 16 bits. Por favor, ajude a melhorar a linguagem de programação escrevendo novos comandos. O compilador utiliza um conjunto de ficheiros de montagem para o processo de com

• JCustomizer Grátis

  O alvo do projeto JCustomizer é a personalização genérica e persistente de cada Java Swing/AWT GUI em tempo de execução: fontes, cores, textos, aceleradores, ... Um bom acompanhamento é um acesso WYSIWYG à internacionalização

• net.sourceforge.ajstruts Grátis

  Código fonte de um artigo (http://ajstruts.sf.net) publicado em 11/2003 na revista german "Java Magazin" mostra como adaptar libs de terceiros (por exemplo, struts) para projetar necessidades e facilitar a migração