Δωρεάν χρήσιμο Επιστήμη & Εκπαίδευση εφαρμογές για Thomas Kleemann, Alex Sinner

είναι ένα θεώρημα που αποδεικνύει βιβλιοθήκη για J2ME κινητά τηλέφωνα. Υποστηρίζει συλλογιστική προτασιακή, πρώτης τάξης, και η λογική περιγραφή και αποσκοπεί στην κινητή διαχείριση της γνώσης ή εφαρμογές του Σημασιολογικού Ιστού. & Middot? Η πρώτη reasoner για κινητά τηλέφωνα & Middot? Χρησιμοποιεί ελάχιστους πόρους & Middot? Διεπαφές για προτασιακή λογική πρώτου βαθμού και τη λογική...

διαβάστε περισσότερα