Pocket KrHyper 0.9.3
J2ME 휴대폰을위한 이론 증명 라이브러리입니다. 명제, 1 차 및 설명 논리에서 추론을 지원?며 모바일 지식 관리 ?는 시맨틱 웹 응용 프로그램을 목표로합니다.
& middot; 휴대 전화? 첫 번째...
장치 검색
Samsung S3310
최근에 본 소프트웨어를
ClickOVA - Automatic mobile backup 15 Jan 11
Block Logic 9 Jun 11
Resistor Calculator for Java 18 Feb 12
matrixmobile linear equations 3 Feb 11
Software Data Cable 12 Dec 12
-
Fring (Java) 7 Dec 10
Snake (Java) 3 Apr 11
Smaper (Java) 24 Jun 11
Blinko 2.2 - Java Softwares 18 Feb 13
Mazelock V 2.0 (ANDROID STYLE UNLOCK ER) 5 Feb 13