 | 맹금류필수 프로그램에 대한 추론을위한 Java 도구 |
| 지금 다운로드 | |
맹금류 순위 및 요약
광고
- 특허:
- Freeware
- 가격:
- FREE
- 게시자 이름:
- Imperial College London
- 게시자 웹사이트:
- http://rtm.hep.ph.ic.ac.uk
- 운영체제:
- Mac OS X
- 파일 크기:
- 1 KB
맹금류 태그
맹금류 설명
Raptor는 필수 프로그램에 대한 추론에 사용할 수있는 응용 프로그램입니다. 맹금류는 배언의 종류를 사용하여 프로그램의 증명을 구축하는 데 사용될 수 있습니다. 부울을 사용하여 애플리케이션에도 통합되어 있으며 정수 유형 및 차원 배열이 포함됩니다. Java에서 랩터는 다양한 운영에 사용할 수 있습니다. Windows, Mac OS X 및 Linux와 같은 인기있는 시스템을 포함하는 시스템.
맹금류 관련 소프트웨어
