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

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

THE VERIFICATION AND SYNTHESIS OF DATA STRUCTURES.SPITZEN J; WEGBREIT B.1975; ACTA INFORMAT.; ALLEM.; DA. 1975; VOL. 4; NO 2; PP. 127-144; BIBL. 13 REF.Article

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

QUELQUES PROBLEMES D'AUTOMATISATION DE LA MICROPROGRAMMATION: LANGAGE UNIVERSEL ET TRADUCTEURZABARA SS; MIL'NER AD.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; NO 5; PP. 52-57; ABS. ANGL.; BIBL. 12 REF.Article

METASYSTEME POUR LA CREATION DES SYSTEMES DE PROGRAMMATION SPECIALISESMEL'NIKOV IA; MYARTIN KO; PRUUDEN EH V et al.1974; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1974; NO 6; PP. 69-73; ABS. ANGL.; BIBL. 8 REF.Article

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

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

SUR LA POSSIBILITE D'OPTIMISATION AUTOMATIQUE DES PROGRAMMES DANS LES SYSTEMES EN TEMPS REELARKHANGEL'SKIJ BV; NIKITIN AI.1976; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1976; NO 2; PP. 48-54; BIBL. 9 REF.Article

HIGH LEVEL ITERATORS AND A METHOD FOR AUTOMATICALLY DESIGNING DATA STRUCTURE REPRESENTATION.EARLEY J.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 4; PP. 321-342; BIBL. 11 REF.Article

ARTIFICIAL INTELLIGENCE AND AUTOMATIC PROGRAMMING IN CAI.KOFFMAN EB; BLOUNT SE.1975; ARTIF. INTELLIG.; U.S.A.; DA. 1975; VOL. 6; NO 3; PP. 215-234; BIBL. 1 P.Article

PRINCIPALES CARACTERISTIQUES DU SYSTEME ALGEM-STZ D'AUTOMATISATION DE LA PROGRAMMATION ET SON APPLICATION A LA SOLUTION DES PROBLEMES NON LINEAIRES D'INFORMATION LOGIQUEARNAUDOV D.1972; IZVEST. MAT. INST., SOFIJA; BALG.; DA. 1972; NO 13; PP. 151-157; ABS. RUSSE ANGL.; BIBL. 4 REF.Serial Issue

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

SYSTEME D'AUTOMATISATION POUR LE CALCULATEUR ELEKTRONIKA K-200 BASE SUR LE MINSK-32DOLGOPOLOV AS; IVANOV ON; MOROZOV VA et al.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; NO 5; PP. 36-57 (4P.); ABS. ANGL.; BIBL. 3 REF.Article

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