libLogic은 인간의 도움없이 어떤 순서의 논리적 이론에서 정확하고 효율적으로 모든 입증 진술을 정확하게 증명하는 믿을 수 - 투 - 비교할 수없는 능력을 증명하는 자동화 된 정리를위한 소프트웨어 라이브러리입니다.
버전 기록
- 버전 N/A 에 게시 2011-08-12
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-08-12
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: liblogic.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows