UNB Theorem Prover?

Programas relacionados

• fastAOP Gratis

  FastAOP es un marco AOP (Aspect Oriented Programming) de muy alto rendimiento para java. El marco fue inicialmente desarrollado para admitir la generación de perfiles de rendimiento y la supervisión de grandes aplicaciones

• Butterfly Code Generator Gratis

  Butterfly es un simple generador de código que utiliza XMI como entrada y plantillas XSLT para generar cualquier tipo de código. Se proporcionan varias plantillas, incluyendo EJB, JDO y Struts. Los usuarios pueden utilizar l

• Neural network designer Gratis

  Este proyecto consiste en una aplicación de diseñador basada en Windows y una biblioteca (que se puede ejecutar en varias plataformas, incluido Android) junto con varias aplicaciones de demostración (incluyendo un cliente de

• DL-Learner Gratis

  DL-Learner es una herramienta para aprender conceptos en Lógicas de descripción (DL) a partir de ejemplos proporcionados por el usuario. De forma equivalente, se puede utilizar para aprender clases en ontologías OWL de objeto

• MakeEmbeddedRootfilesystem Gratis

  Makerootfs facilita la creación de un sistema de archivos raíz para dispositivos incrustados (por ejemplo, basados en ARM) mediante la automatización del proceso de compilación cruzada a través de scripts de shell, parches y

• VCS Agents and Tools Gratis

  El objetivo de este proyecto es proporcionar plugins ("agents") para veritas Cluster Server en forma de código abierto.

• Etnia Workbench Gratis

  Extensiones para el proyecto CDT que configuran compiladores adicionales y otros plugins para integrar varios plattform (en realidad, microprocesadores de Texas Instrument & PIC)

• Steini\'s Mini Compiler Gratis

  Steini 's Mini Compiler es un compilador rápido de 16 bits DOS. Por favor, ayuda a mejorar el lenguaje de programación escribiendo nuevos comandos. El compilador utiliza un conjunto de archivos de ensamblado para el proceso d

• JCustomizer Gratis

  El objetivo del proyecto JCustomizer es la personalización genérica y persistente de cada GUI Java Swing/AWT en tiempo de ejecución: fuentes, colores, textos, aceleradores, ... Un buen acompañamiento es un acceso WYSIWYG a la

• net.sourceforge.ajstruts Gratis

  El código fuente de un artículo (http://ajstruts.sf.net) publicado en 11/2003 en la revista alemana "Java Magazin", muestra cómo adaptar las bibliotecas de terceros de 3a (por ejemplo, puntales) a las necesidades de