( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique.

, , и . SPLT, стр. 327-344. (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yves Robert

Yves Steinmetz

Yves Hoffmann

Yves Gensterblum

Yves Burkhardt

 

Другие публикации лиц с тем же именем

Multi-Strategy Learning in Nonhomongeneous Domain Theories., и . ML, стр. 14-16. Morgan Kaufmann, (1989)Logique et apprentissage., и . SPLT, (1984)Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique., , и . SPLT, стр. 327-344. (1986)Synthèse de spécifications à partir de programmes., и . SPLT, стр. 265-. (1987)La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples., и . EGC, том RNTI-E-15 из Revue des Nouvelles Technologies de l'Information, стр. 151-162. Cépaduès-Éditions, (2009)The AI Approach to ML and Enlarging the "ES Certification Bottleneck".. IFIP Congress, стр. 489. North-Holland/IFIP, (1989)A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm"., и . AISB/GI (ECAI), стр. 169-175. Leeds University, (1978)Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique., и . IJCAI, стр. 440-447. William Kaufmann, (1979)Response time., и . Artif. Intell. Rev., 2 (1): 1-2 (1988)Induction extensionnelle : définition et application à l'acquisition de concepts à partir de textes.. EGC, том RNTI-E-2 из Revue des Nouvelles Technologies de l'Information, стр. 247-252. Cépaduès-Éditions, (2004)