Pocket KrHyper 0.9.3
J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원�?며 모바일 지식 관리 �?�는 시맨틱 웹 응용 프로그램을 목표로합니다.
& middot; 휴대 전화�? 첫 번째...
장치 검색
Samsung E250
최근에 본 소프트웨어를
NEW Facebook 10 Jan 13
Tic-tac-toe 10 May 18
NetworkAcc (Java) 1 Apr 12
WebShell 27 Jun 11
KD.Player_240x320_EN 15 Jan 13
BarcodeReader 20 Apr 11
Shootout Zombies 26 May 15
Facebook for Java 8 Feb 17
Ice motor 2 pro 19 Jun 17
Morse Code 29 Jun 11