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