Pocket KrHyper - Nemokama programinė įranga parsisiųsti Už Samsung Champ Neo Duos C3262 į Matematika

Pocket KrHyper 0.9.3

yra teorema įrodyti biblioteka J2ME mobiliųjų telefonų. Jis palaiko argumentus Teiginių, pirmos eilės, ir aprašymas logikos ir yra skirta mobiliųjų žinių valdymo ar semantinių žiniatinklio taikomąsias programas. & Middot; Pirmasis reasoner...