PhD thesis,

Inductive functional programming using incremental program transformation and Execution of logic programs by iterative-deepening A* SLD-tree search

.
University of Oslo, Norway, Dr scient thesis, (1994)

Meta data

Tags

Users

  • @brazovayeye
  • @emanuel
  • @mh

Comments and Reviews