Numerical computation as deduction in constraint logic programming

Jimmy Ho-Man Lee. Numerical computation as deduction in constraint logic programming. PhD thesis, University of Victoria, Canada, 1992. [doi]

Abstract

Abstract is missing.