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

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

MultDivTrainer
MultDivTrainer

24 May 11

Numbers
Numbers

1 Jul 11

SimulME
SimulME

7 Dec 10

GraphViewer
GraphViewer

6 Feb 11

Σχόλια για Pocket KrHyper

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