최고의 모바일 수학 에 대한 애플 리케이션 Thomas Kleemann, Alex Sinner

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

자세한 내용을