Teorema Automático Prover implementado en Java y utilizando árboles de cláusulas. Este software será capaz de leer teoremas matemáticos de TPTP y probarlos o refutarlos.
historial de versiones
- Versión N/A publicado en 2011-08-05
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-08-05
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: cs6725-prover.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows