Pocket KrHyper - 무료 소프트웨어 다운로드 에 Motorola RAZR V3 에 수학

Pocket KrHyper 0.9.3

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