Λεπτομέρειες Εφαρμογής:
Εκδοχή: 0.9.3
Ανεβάστε ημερομηνία: 20 Jun 11
Προγραμματιστής: Thomas Kleemann, Alex Sinner
Άδεια: Δωρεάν
Δημοτικότητα: 36
Μέγεθος: 75 Kb
Pocket KrHyper είναι ένα θεώρημα που αποδεικνύει βιβλιοθήκη για J2ME κινητά τηλέφωνα. Υποστηρίζει συλλογιστική προτασιακή, πρώτης τάξης, και η λογική περιγραφή και αποσκοπεί στην κινητή διαχείριση της γνώσης ή εφαρμογές του Σημασιολογικού Ιστού.
& Middot? Η πρώτη reasoner για κινητά τηλέφωνα
& Middot? Χρησιμοποιεί ελάχιστους πόρους
& Middot? Διεπαφές για προτασιακή λογική πρώτου βαθμού και τη λογική περιγραφή
Τα σχόλια δεν βρέθηκε