Sciweavers

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