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