CHARACTERIZATION OF A CLASS OF FUNCTIONS SYNTHESIZED FROM EXAMPLES BY A SUMMERS LIKE METHOD USING A "B.M.W." MATCHING TECHNIQUEJOUANNAUD JP; KODRATOFF Y.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 440-447; BIBL. 17 REF.Conference Paper

GENERATION AUTOMATIQUE D'UN PROGRAMME DE DECODAGE DES MESSAGES METEOROLOGIQUESRUDENKO SL; SOLOMAKHOV A YU.1981; METEOROL. GIDROL.; ISSN 0130-2906; SUN; DA. 1981; NO 1; PP. 113-116; BIBL. 3 REF.Article

INFERRING LISP PROGRAMS FROM EXAMPLES.SHAW DE; SWARTOUT WR; GREEN CC et al.1975; IN: INT. JOINT CONF. ARTIF. INTELL. 4. ADV. PAP.; TBILISI; 1975; CAMBRIDGE, MASS.; ARTIF. INTELL. LAB.; DA. 1975; VOL. 1; PP. 260-267; BIBL. 7 REF.Conference Paper

TRANSFORMATIONAL DERIVATION OF A GARBAGE COLLECTION ALGORITHMDEWAR RBK; SHARIR M; WEIXELBAUM E et al.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 650-667; BIBL. 9 REF.Article

ON PROGRAM SYNTHESIS KNOWLEDGEGREEN C; BARSTOW D.1978; ARTIF. INTELLIG.; USA; DA. 1978; VOL. 10; NO 3; PP. 241-279; BIBL. 1 P.Article

SYNTHESE DE PROGRAMMESLAVROV SS.1982; KIBERNETIKA; ISSN 506850; UKR; DA. 1982; NO 6; PP. 11-16Article

A SIMPLE "TEACHABLE AUTOMATIC PROGRAM-GENERATING SYSTEM" WRITTEN AS A TERM PROJECT IN AN INTRODUCTORY COURSE ON ARTIFICIAL INTELLIGENCEFINDLER NV.1981; COMPUTERS IN EDUCATION. WCCE 81. IFIP TC-3. WORLD CONFERENCE ON COMPUTERS IN EDUCATION. 3/1981/LAUSANNE; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1981; PP. 725-729; BIBL. 3 REF.Conference Paper

CENTRE DE PROGRAMMATION CONVERSATIONNEL GRAPHIQUE1979; MACH. MOD.; ISSN 0024-9130; FRA; DA. 1979; NO 838; PP. 112-113Article

A KNOWLEDGE-BASED APPROACH TO USING EFFICIENCY ESTIMATION IN PROGRAM SYNTHESISKANT E.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 457-462; BIBL. 10 REF.Conference Paper

COGNITIVE ECONOMY IN ARTIFICIAL INTELLIGENCE SYSTEMSLENAT DB; HAYES ROTH F; KLAHR P et al.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 531-536; BIBL. 6 REF.Conference Paper

SCULPTURED SURFACE TECHNOLOGY AS A UNIFIED APPROACH TO GEOMETRIC DEFINITIONHINDS JK; KUAN LP.1979; SOCIETY OF MANUFACTURING ENGINEERS. COMPUTER AND AUTOMATED SYSTEMS ASSOCIATION. MEETING; USA; DEARBORN: SOCIETY OF MANUFACTURING ENGINEERS; DA. 1979; VOL. 146; PP. 1-23; BIBL. 5 REF.Conference Paper

A NATURAL PROGRAMMING CALCULUSHANSSON A; TARNLUND SA.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 348-355; BIBL. 22 REF.Conference Paper

DEVELOPPEMENT DU PREPROCESSEUR EXAPT2. SYSTEME DE PROGRAMMATION AUTOMATIQUE EN COMMANDE NUMERIQUE POUR LE TOURNAGE1977; ISHIKAWAJIMA-HARIMA ENGNG REV.; JAP.; DA. 1977; VOL. 17; NO 4; PP. 365-370; ABS. ANGL.; BIBL. 2 REF.Article

EXEMPLE D'USINAGE AVEC PROGRAMMATION AUTOMATIQUE.1976; MACH.-OUTIL; FR.; DA. 1976; VOL. 41; NO 333; PP. 109-113 (2P.); ABS. ANGL.Article

SYNTHESIS OF LISP FUNCTIONS FROM EXAMPLES.HARDY S.1975; IN: INT. JOINT CONF. ARTIF. INTELL. 4. ADV. PAP.; TBILISI; 1975; CAMBRIDGE, MASS.; ARTIF. INTELL. LAB.; DA. 1975; VOL. 1; PP. 240-245; BIBL. 13 REF.Conference Paper

CONGRES AICCF/UIC-MALAGA 27 SEPTEMBRE-1ER OCTOBRE 1982. SECTION II: INCIDENCE SUR LES FONCTIONS PRODUCTION ET VENTE. PROGRAMMATION AUTOMATIQUE DES WAGONS, DE L'EXPEDITEUR AU DESTINATAIRESCHAMBERGER RC.1982; RAIL INT.; ISSN 0020-8442; BEL; DA. 1982; VOL. 13; NO 7; PP. 77-82Article

FORMULIERUNG, FORMALISIERUNG UND AUTOMATISCHE PROGRAMMIERUNG IN DEN FRUEHEN ARBEITEN KONRAD ZUSES = FORMULATION, FORMALISATION ET PROGRAMMATION AUTOMATIQUE DANS L'OEUVRE DE KONRAD ZUSESBAUER FL.1980; INFORM.-SPEKTRUM; DEU; DA. 1980; VOL. 3; NO 2; PP. 114-119; BIBL. 12 REF.Article

NC-GESTEUERTE DREHMASCHINEN MASCHINELL PROGRAMMIEREN. = PROGRAMMATION PAR CALCULATEUR DES TOURS A COMMANDE NUMERIQUEWALKER T.1978; MASCHINENMARKT; DEU; DA. 1978; VOL. 84; NO 67; PP. 1301-1305; BIBL. 2 REF.Article

UN PROGRAMME QUI GENERE DES PROGRAMMES.MASSON M.1976; IN: PANORAMA NOUV. INF. FRANCE. CONGR. AFCET; GIF-SUR-YVETTE; 1976; PARIS; ITC; DA. 1976; VOL. 1; PP. 381-390; BIBL. 3 REF.Conference Paper

AUTOMATISATION DE LA CONCEPTION DU LOGICIEL DES SYSTEMES DE COMMANDELIPAEV VV.1982; AUTOM. TELEMEH.; ISSN 0005-2310; SUN; DA. 1982; NO 2; PP. 92-104; ABS. ENG; BIBL. 11 REF.Article

PREDETERMINATION DE LA TACHE EN ROBOTIQUE PAR PROGRAMMATION SEMI-AUTOMATIQUE, REPRESENTATION ET ANALYSE TEMPORELLE DE LA TRAJECTOIRELIEGE THIERRY.1980; ; FRA; DA. 1980; PAG. MULT.; BIBL. 71 REF.; TH. DOCT.-ING./MONTPELLIER 2/1980Thesis

AUTOMATIC COMPUTER PROGRAMMING USING ORDINARY NATURAL LANGUAGE: SAMPLES OF DJINNI-BTHORSEN O.1980; COMPUT. PEOPLE; ISSN 0361-1442; USA; DA. 1980; VOL. 29; NO 3-4; PP. 2-3; BIBL. 2 REF.Article

BETRACHTUNG ZUR AUTOMATISIERUNG EINER KLEINSERIENFERTIGUNG MIT HILFE DER EDV. = CONSIDERATIONS POUR L'AUTOMATISATION D'UNE FABRICATION EN PETITE SERIE AVEC L'AIDE DE L'INFORMATIQUEGRATSCHEV LN; PERZOV GN.1977; WERKSTATTSTECH., Z. INDUSTR. FERTIG.; DTSCH.; DA. 1977; VOL. 67; NO 9; PP. 575-577; ABS. ANGL.Article

AUTOMATISATION DE LA PRODUCTION DE LOGICIELS D'APPLICATION: QUELQUES APPROCHES. IIIVAN LAMSWEERDE A.1983; T.S.I. TECHNIQUE ET SCIENCE INFORMATIQUES; ISSN 0752-4072; FRA; DA. 1983; VOL. 2; NO 2; PP. 81-93; ABS. ENG; BIBL. 3 P.Article

AUTOMATIC PROGRAMMING OF COMMUNICATIONS SOFTWARE VIA NONPROCEDURAL DESCRIPTIONSGINSPARG JM; GORDON RD.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 6; PP. 1343-1347; BIBL. 4 REF.Article