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

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

mathGame
mathGame

18 May 11

Algeo calculator
Algeo calculator

20 Apr 11

MobileMaths v1.7
MobileMaths v1.7

23 Jan 13

operation matrix
operation matrix

24 Jan 13

Σχόλια για Pocket KrHyper

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