 | atp.대화 형 모듈 식 자동화 된 이론적 인 영사 |
| 지금 다운로드 | |
atp. 순위 및 요약
광고
- 특허:
- GPL
- 게시자 이름:
- ATP Team
- 게시자 웹사이트:
- http://code.google.com/u/113190107447576027220/
- 운영체제:
- Mac OS X
- 파일 크기:
- 8.8 MB
atp. 태그
atp. 설명
ATP (Automated Theorem Prover)는 Computation Process.Atp에서 더 많은 제어를 할 수 있도록 설계된 무료 및 오픈 소스 모듈 형 정리 프로젝터입니다. Process.ATP를 사용하면 자동 및 수동 세션간에 쉽게 전환 할 수 있습니다. 판심의 모듈성은 제어 레벨 및 알고리즘 방식으로이를 모두 연장 할 수 있습니다. ATP는 크로스 플랫폼이며 Mac OS X, Windows 및 Linux에서 작동합니다.
atp. 관련 소프트웨어
