Sciweavers

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