Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SYNTHESE PROGRAMME")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 96

  • Page / 4

Export

Selection :

  • and

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

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

UNE SYNTHESE DES PROGRAMMES PAR LA CONVERSION DES FORMULESMARTINEK J.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 182; PP. 1-31; ABS. ANGL. RUSSE; BIBL. 10 REF.Article

PROBLEM SOLVING AS A BASIS FOR PROGRAM SYNTHESIS: DESIGN AND EXPERIMENTATION OF THE BIS SYSTEMCAIO F; GIUDA G; SOMALVICO M et al.1982; INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES; ISSN 0020-7373; GBR; DA. 1982; VOL. 17; NO 2; PP. 173-188; BIBL. 31 REF.Article

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

DEDUCATIVE SYNTHESIS OF THE UNIFICATION ALGORITHMMANNA Z; WALDINGER R.1981; SCI. COMPUT. PROGRAM.; NLD; DA. 1981; VOL. 1; NO 1-2; PP. 5-48; BIBL. 22 REF.Article

AN EXPERIMENTAL PROGRAM TRANSFORMATION AND SYNTHESIS SYSTEMDARLINGTON J.1981; ARTIF. INTELL.; ISSN 0374-2539; NLD; DA. 1981; VOL. 16; NO 1; PP. 1-46; BIBL. 15 REF.Article

PROGRAM SYNTHESIS FROM INCOMPLETE SPECIFICATIONSGUIHO G; GRESSE C.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 53-62; BIBL. 9 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

  • Page / 4