Declarative Programming and Knowledge Management: Conference on Declarative Prog
68,59 €
Constraint Solving on Hybrid Systems. - The Proportional Constraint and Its Pruning. - An Operational Semantics for Constraint-logic Imperative Programming. - Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.
Jetzt bei Ebay: