libLogic es una biblioteca de software para el teorema automatizado que demuestra con la capacidad de creer-ser-inigualable para probar de manera correcta y eficiente con precisión todas las declaraciones comprobables en cualquier teoría lógica de cualquier orden, sin ayuda humana.
historial de versiones
- Versión N/A publicado en 2011-08-12
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-08-12
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: liblogic.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows