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]

@phdthesis{ca-932,
  title = {Numerical computation as deduction in constraint logic programming},
  author = {Jimmy Ho-Man Lee},
  year = {1992},
  url = {https://dspace.library.uvic.ca//handle/1828/9581},
  researchr = {https://researchr.org/publication/ca-932},
  cites = {0},
  citedby = {0},
  school = {University of Victoria, Canada},
}