On the inference of Turing machines from sample computations (1972)

by A W Biermann
Venue:Artificial Intelligence