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...
Lees meer