186. R. Dewar and J. Schwartz. Syntax and semantics of a restricted backtrack implementation. 21 April 1977.
186. R. Dewar and J. Schwartz. Syntax and semantics of a restricted backtrack implementation. 21 April 1977.
Click here to get the file
Size
355.2 kB
-
File type
application/pdf