Complementing Interval Arithmetic With Logic Programming
Other conference paper

Full Text

Other information
All Author(s) ListLEE Ho Man Jimmy, M.H. van Emden
Country/Region of ConferenceUnited States of America
Detailed descriptionPaper presented in the International Conference on Numerical Anaysis With Automatic Result Verification
Place of PublicationUnited States of America, USA
LanguagesEnglish-United Kingdom

Last updated on 2018-19-01 at 21:41