166. R. Dewar and J. T. Schwartz. An easy scheme for incorporating backtracking into the new SETL implementation. 8 April 1976.
166. R. Dewar and J. T. Schwartz. An easy scheme for incorporating backtracking into the new SETL implementation. 8 April 1976.
Click here to get the file
Size
482.7 kB
-
File type
application/pdf