Besonderhede van aansoek:
Weergawe: 0.9.3
Upload datum: 20 Jun 11
Ontwikkelaar: Thomas Kleemann, Alex Sinner
Lisensie: Gratis
Populariteit: 36
Grootte: 75 Kb
Pocket KrHyper is 'n stelling te bewys biblioteek vir J2ME selfone. Dit word ondersteun deur redenasie in proposisionele, eerste orde, en beskrywing logika en is daarop gemik om mobiele kennisbestuur of semantiese web programme.
& Middot; Die eerste redenaar vir selfone
& Middot; Gebruik bietjie hulpbronne
& Middot; Interfaces vir clausal eerste orde logika en beskrywing logika
Kommentaar nie gevind