A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm".

Yves Kodratoff, Jean Fargues

Browse the full ECAI paper archive.