Journal article

CLP(ℜ) and some electrical engineering problems

N Heintze, S Michaylov, P Stuckey

Journal of Automated Reasoning | Published : 1992

DOI: 10.1007/BF00245462

Citation metrics

12Scopus