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

Conference Paper uoadl:1046860 247 Read counter

Original Title:
Linear programming based induction (LPI): a constraint logic programming elaboration
Languages of Item:
English
Creator:
Potamias, George
Abstract:
Empty abstract
Main subject category:
Logic
Other subject categories:
Computer science
Algorithms and Theory of Computation
Keywords:
constraint logic programming elaboration, linear constraints, LPI algorithm, CLP
Pages (from-to):
199-204
Notes:
Περιλαμβάνει βιβλιογραφικές αναφορές
The digital material of the item is not available.