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

SA PAR EXEMPLE: UN SYSTEME D'APPRENTISSAGE A PARTIR D'EXEMPLESSCHYN F; GUIHO G.1979; RECONNAISSANCE DES FORMES ET INTELLIGENCE ARTIFICIELLE. ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE. CONGRES. 2/1979/TOULOUSE; FRA; ROCQUENCOURT: IRIA; DA. 1979; VOL. 1; PP. 145-153; BIBL. 16 REF.Conference Paper

MANIPULATION EXTRAPOLATION. A SYSTEM FOR CONTROLLING TRAINABLE ROBOTSCOLMAN RW.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 165-167; BIBL. 5 REF.Conference Paper

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

LA SYNTHESE DES PROGRAMMES DETERMINISTES PAR LES FONCTIONS GENERIQUES.KING PR.1976; IN: PANORAMA NOUV. INF. FRANCE. CONGR. AFCET; GIF-SUR-YVETTE; 1976; PARIS; ITC; DA. 1976; VOL. 1; PP. 371-379; BIBL. 7 REF.Conference Paper

TRADEOFFS IN THE INDUCTIVE INFERENCE OF NEARLY MINIMAL SIZE PROGRAMSKEH JIANN CHEN.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 1; PP. 68-96; BIBL. 19 REF.Article

A METHOD FOR PROGRAM SYNTHESISSZOETS M; CSIZMAZIA S.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 368-380; BIBL. 8 REF.Conference Paper

THE AUTOMATIC SYNTHESIS OF ITERATIVE PROGRAMSGINI G.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 2; PP. 67-73; BIBL. 14 REF.Article

WRITING A NUMBER AS THE SUM OF TWO SQUARES. A NEW SOLUTIONBACKHOUSE R.1982; INFORMATION PROCESSING LETTERS; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 1; PP. 15-17; BIBL. 3 REF.Article

AUTOMATISATION DE LA PRODUCTION DE LOGICIELS D'APPLICATIONS: QUELQUES APPROCHES. IVAN LAMSWEERDE A.1982; T.S.I. TECHNIQUE ET SCIENCE INFORMATIQUES; ISSN 0752-4072; FRA; DA. 1982; VOL. 1; NO 6; PP. 475-494; ABS. ENG; BIBL. 5 P.Article

DESIGN ISSUES FOR EXEMPLARY PROGRAMMINGWATERMAN DA; FAUGHT WS; KLAHR PHILIP et al.1980; ; USA; SANTA MONICA; RAND; DA. 1980; RAND/N-1484-RC; 57 P.; 28 CM; BIBL. 4 P.Report

SA: A LEARNING SYSTEM ABLE TO SYNTHESIZE FUNCTIONS AND PREDICATESSCHYN F; GUIHO G.1980; ; FRA; DA. 1980; LRI/79; 21 P.; 30 CM; BIBL. 17 REF.Report

NATURAL PROPERTIES OF STRATEGIES IDENTIFYING RECURSIVE FUNCTIONSJANTKE KP.1979; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DDR; DA. 1979; VOL. 15; NO 10; PP. 487-496; ABS. GER/RUS; BIBL. 23 REF.Article

PROGRAM DERIVATION USING DATA TYPES: A CASE STUDYLUCENA CJP; PEQUENO THC.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 6; PP. 586-592; BIBL. 20 REF.Article

A DEDUCTIVE APPROACH TO PROGRAM SYNTHESISMANNA Z; WALDINGER R.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. 542-551; BIBL. 11 REF.Conference Paper

AUTOMATIC PROGRAM SYNTHESIS VIA SYNTHESIS OF LOOP-FREE SEGMENTSDURAN JW.1979; NATIONAL COMPUTER CONFERENCE/1979/NEW YORK NY; USA; MONTVALE: AFIPS PRESS; DA. 1979; PP. 1059-1062; BIBL. 9 REF.Conference Paper

FACTORED SPECIFICATIONS IN THE SYNTHESIS OF LISP FUNCTIONSBIGGERSTAFF TJ.1978; ACM 78. ASSOCIATION FOR COMPUTING MACHINERY. ANNUAL CONFERENCE/1978-12-4/WASHINGTON DC; USA; NEW YORK: THE ASSOCIATION FOR COMPUTING MACHINERY; DA. 1978; PP. 393-402; BIBL. 25 REF.Conference Paper

DERIVED PRECONDITIONS AND THEIR USE IN PROGRAM SYNTHESISSMITH DR.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 172-193; BIBL. 10 REF.Conference Paper

APPLICATION OF THEOREM PROVING METHODS FOR AUTOMATIC PROGRAM SYNTHESIS FOR N.C. MACHINE TOOLSGOSCINSKI A; SZUBA T.1981; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1981; VOL. 23; NO 5; PP. 191-197; ABS. GER; BIBL. 5 REF.Article

INDUCTIVE INTERFERENCE WITH ADDITIONAL INFORMATIONFREIVALD RV; WIEHAGEN R.1979; ELEKTRON. INFORM.-VERARBEIT-KYBERN.; DDR; DA. 1979; VOL. 15; NO 4; PP. 179-185; ABS. RUS/GER; BIBL. 12 REF.Article

THE ROLES OF KNOWLEDGE AND DEDUCTION IN PROGRAM SYNTHESISBARSTOW DR.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 37-43; BIBL. 10 REF.Conference Paper

THE POWER OF PLURALISM FOR AUTOMATIC PROGRAM SYNTHESISSMITH CH.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 4; PP. 1144-1165; BIBL. 22 REF.Article

APPLICATIONS OF EXEMPLARY PROGRAMMINGFAUGHT WS.1980; 1980 NATIONAL COMPUTER CONFERENCE/1980/ANAHEIM CA; USA; ARLINGTON: AFIPS PRESS; DA. 1980; PP. 459-464; BIBL. 15 REF.Conference Paper

RESULTS IN KNOWLEDGE BASED PROGRAM SYNTHESISGREEN C; GABRIEL RP; KANT E 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. 342-344; BIBL. 9 REF.Conference Paper

Page / 3