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

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

Numbers
Numbers

1 Jul 11

Ruler
Ruler

7 Feb 13

Aritm by MOB
Aritm by MOB

27 May 11

Σχόλια για Pocket KrHyper

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