libLogic

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

关于 libLogic

libLogic 是一个软件库,用于自动定理证明,具有正确和高效地证明任何顺序逻辑理论中所有可证明语句的能力,无需人工帮助。