Pocket KrHyper

응용 프로그램의 스크린 샷:
Pocket KrHyper
응용 프로그램의 세부 사항:
버전: 0.9.3
업로드 날짜: 20 Jun 11
라이센스: 무료
인기: 36
크기: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원?며 모바일 지식 관리 ?는 시맨틱 웹 응용 프로그램을 목표로합니다.

& middot; 휴대 전화? 첫 번째 추론기

& middot; 약간? 자원 사용

& middot; 클로스 얼 1 차 논리 및 기술 논리를위한 인터?이스

비슷한 애플 리케이션

TouchSheet_ME
TouchSheet_ME

6 Jun 11

GraphViewer
GraphViewer

6 Feb 11

Ruler
Ruler

7 Feb 13

코멘트 Pocket KrHyper

댓글을 찾을 수 없습니다
코멘트를 추가
이미지를 켜십시오!