Sciweavers

CSL
1992
Springer
14 years 2 months ago
Model Building by Resolution
ating Point Numbers (Abstract). In: Berichte aus Informatik
Christian G. Fermüller, Alexander Leitsch