Pages that link to "Item:Q908680"
From MaRDI portal
The following pages link to CAL: A theoretical background of constraint logic programming and its applications (Q908680):
Displaying 5 items.
- Reasoning about solids using constraint logic programming (Q1284708) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- Implementing CLP(\(\mathbb{B}{}\)) using the connection theorem proving method and a clause management system (Q2366110) (← links)
- Role of logic programming in the FGCS project (Q5096224) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)