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 차 논리 및 기술 논리를위한 인터?이스

비슷한 애플 리케이션

mPustakMultiply
mPustakMultiply

25 Jan 11

Algeo calculator
Algeo calculator

20 Apr 11

Melodies Bgn ruang
Melodies Bgn ruang

26 Apr 11

Math Training
Math Training

24 Nov 12

코멘트 Pocket KrHyper

댓글을 찾을 수 없습니다
코멘트를 추가
이미지를 켜십시오!
장치 검색
Samsung D880

Samsung D880