The following pages link to Spiro Michaylov (Q688563):
Displayed 6 items.
- CLP\(({\mathfrak R})\) and some electrical engineering problems (Q688564) (← links)
- PARTHENON: A parallel theorem prover for non-horn clauses (Q1189725) (← links)
- Repeated redundant inequalities in constraint logic programming (Q1271566) (← links)
- (Q3204066) (← links)
- Meta-programming in CLP(R) (Q4371988) (← links)
- Repeated redundant inequalities in constraint logic programming (Q5096306) (← links)