Pocket KrHyper

Στιγμιότυπο της εφαρμογής:
Pocket KrHyper
Λεπτομέρειες Εφαρμογής:
Εκδοχή: 0.9.3
Ανεβάστε ημερομηνία: 20 Jun 11
Προγραμματιστής: Thomas Kleemann, Alex Sinner
Άδεια: Δωρεάν
Δημοτικότητα: 36
Μέγεθος: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper είναι ένα θεώρημα που αποδεικνύει βιβλιοθήκη για J2ME κινητά τηλέφωνα. Υποστηρίζει συλλογιστική προτασιακή, πρώτης τάξης, και η λογική περιγραφή και αποσκοπεί στην κινητή διαχείριση της γνώσης ή εφαρμογές του Σημασιολογικού Ιστού.

& Middot? Η πρώτη reasoner για κινητά τηλέφωνα

& Middot? Χρησιμοποιεί ελάχιστους πόρους

& Middot? Διεπαφές για προτασιακή λογική πρώτου βαθμού και τη λογική περιγραφή

Παρόμοιες εφαρμογές

mPustakDivide
mPustakDivide

25 Jan 11

Graph (Java)
Graph (Java)

29 May 11

Bloft
Bloft

20 Apr 11

Quad2Go
Quad2Go

28 Apr 11

Σχόλια για Pocket KrHyper

Τα σχόλια δεν βρέθηκε
προσθήκη σχολίου
Ενεργοποιήστε τις εικόνες!