Linear programming based induction (LPI): a constraint logic programming elaboration

Άρθρο Συνεδρίου uoadl:1046860 246 Αναγνώσεις

Πρωτότυπος Τίτλος:
Linear programming based induction (LPI): a constraint logic programming elaboration
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Ποταµιάς, Γεώργιος
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Αλγόριθμοι υπολογιστών
Λέξεις-κλειδιά:
constraint logic programming elaboration, linear constraints, LPI algorithm, CLP
Σελίδες (από-έως):
199-204
Σημειώσεις:
Περιλαμβάνει βιβλιογραφικές αναφορές
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.