Código rodado
Sistema de gestión de control de fuente Mercurial y GIT de código abierto con código-comentarios ...
2.3 MB
 | AtpUn Prover de teorema automatizado modular interactivo |
| Descargar ahora | |
Atp Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Nombre del editor:
- ATP Team
- Sitio web del editor:
- http://code.google.com/u/113190107447576027220/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 8.8 MB
Atp Etiquetas
Atp Descripción
ATP (Prover de Thorem Automated) es un Prover Thorem modular de código abierto y de código abierto, diseñado para permitirle tener más control en el proceso de cómputo.atp le permite cambiar fácilmente las sesiones automáticas y manuales. La modularidad del Prover permite extenderla tanto en el nivel de control como en la diva algorítmica. ATP es multiplataforma y funciona en Mac OS X, Windows y Linux.
Atp Software relacionado
Sobreteineador
Terminal basado también que exporta la estructura y las propiedades del esquema de Essbase ...
651 KB
