CLP(R) and Some Electrical Engineering Problems

Authors
N.Heintze,S.Michaylov,P.Stuckey
Citation
N.heintze,s.michaylov,p.stuckey, CLP(R) and Some Electrical Engineering Problems, Journal of automated reasoning , 9(2), 1992, pp. 231-260
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
2
Year of publication
1992
Pages
231 - 260
Database
ACNP
SICI code