Pocket KrHyper

Pocket KrHyper

є теорема доводить бібліотека для J2ME мобільних телефонів. Він підтримує міркування в Пропозіціональние, першого порядку, а також опис логіки і направлена ​​на мобільне управління знаннями або семантичних веб-додатків. & Мідот; Перший розмірковує для мобільних телефонів &...

читати далі

GPA Calculator

GPA Calculator

Допомагає студентам в нігерійських університетах обчислити їх GPA, CGPA, а також прогнозувати точки якості, необхідні для випускників з будь-якої заданої...

читати далі