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? Διεπαφές για προτασιακή λογική πρώτου βαθμού και τη λογική περιγραφή

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

mPustakAdd
mPustakAdd

13 Feb 11

Greenfish Plot
Greenfish Plot

1 Jun 11

Maths Training
Maths Training

29 Aug 12

Σχόλια για Pocket KrHyper

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