Adapting CLP to Floating-Point Arithmetic

Jimmy Ho-Man Lee, Maarten H. van Emden. Adapting CLP to Floating-Point Arithmetic. In FGCS. pages 996-1003, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.