CLP(ℜ) and some electrical engineering problems
Nevin Heintze, Spiro Michaylov, Peter StuckeyVolume:
9
Language:
english
Pages:
30
DOI:
10.1007/bf00245462
Date:
October, 1992
File:
PDF, 1.18 MB
english, 1992