Details van toepassing:
Versie: 0.9.3
Upload datum: 20 Jun 11
Ontwikkelaar: Thomas Kleemann, Alex Sinner
Licentie: Gratis
Populariteit: 36
Maat: 75 Kb
Pocket KrHyper is een stelling te bewijzen bibliotheek voor J2ME mobiele telefoons. Het ondersteunt redenering in propositioneel, eerste orde, en de beschrijving logica en is gericht op mobiele kennismanagement of semantische web applicaties.
& Middot; De eerste Reasoner voor mobiele telefoons
& Middot; Gebruikt weinig middelen
& Middot; Interfaces voor clausale eerste orde logica en beschrijving logica
Reacties niet gevonden