Journal article

CLP(ℜ) and some electrical engineering problems

N Heintze, S Michaylov, P Stuckey

Journal of Automated Reasoning | Published : 1992

Citation metrics