Complementing Interval Arithmetic With Logic Programming
Other conference paper


全文

其它資訊
著者LEE Ho Man Jimmy, M.H. van Emden
會議國家/地區美國
詳細描述Paper presented in the International Conference on Numerical Anaysis With Automatic Result Verification
出版年份1993
月份2
出版地United States of America, USA
語言英式英語

上次更新時間 2018-19-01 於 21:41