Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("DEMONSTRATION")

Filter

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

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

Origin

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

Results 1 to 25 of 5565

  • Page / 223
Export

Selection :

  • and

DIE RUHRCHEMIE/RUHRKOHLE-DEMONSTRATIONSANLAGE ZUR TEXACO-KOHLEVERGASUNG = RUHRCHEMIE/RUHRKOHLE DEMONSTRATION UNIT FOR TEXACO COAL GASIFICATION = INSTALLATION DE DEMONSTRATION RUHRCHEMIE-RUHRKOHLE DU PROCEDE DE GAZEIFICATION DU CHARBON TEXACOCORNILS B; HIBBEL J; LANGHOFF J et al.1980; ERDOEL KOHLE, ERDGAS, PETROCHEM.; ISSN 0014-0058; DEU; DA. 1980; VOL. 33; NO 6; PP. 281Article

INTRODUCING ITERATION INTO THE PURE LISP THEOREM PROVER.MOORE JS.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 328-338; BIBL. 10 REF.Article

REVUE ET BIBLIOGRAPHIE DES TRAVAUX SUR L'AUTOMATISATION DE LA RECHERCHE DES DEMONSTRATIONS DE THEOREMES DANS LES THEORIES FORMELLESKAPITONOVA YU V; KOSTYRKO VF; LYALETSKIJ AV et al.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 7-18; BIBL. 8 P.Serial Issue

LA RECHERCHE DE LA DEDUCTION CONSIDEREE COMME UN MODELE DE PROCESSUS HEURISTIQUEMASLOV S YU.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 74-78; BIBL. 26 REF.Serial Issue

A COMPARATIVE STUDY OF SEVERAL PROOF PROCEDURESBIBEL W.1982; ARTIFICIAL INTELLIGENCE; ISSN 0374-2539; NLD; DA. 1982; VOL. 18; NO 3; PP. 269-293; BIBL. 21 REF.Article

DEFINITION ET UTILISATION DES S-L GRAPHES EN DEMONSTRATION AUTOMATIQUE.SAYA H.1975; AO-CNRS-11836; FR.; DA. 1975; PP. (212P.); BIBL. 8 P.; (THESE DOCT. ING.; UNIV. SCI. MED.-INST. NATL. POLYTECH. GRENOBLE)Thesis

A NEW CLASS OF AUTOMATED THEOREM-PROVING ALGORITHMS. = UNE NOUVELLE CLASSE D'ALGORITHMES DE DEMONSTRATION AUTOMATIQUE DE THEOREMESOVERBEEK RA.1974; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1974; VOL. 21; NO 2; PP. 191-200; BIBL. 25 REF.Article

AUTOMATIC THEOREM PROVING BASED ON RESOLUTION.PIROTTE A.1974; ANNU. REV. AUTOMAT. PROGRAMMG; G.B.; DA. 1974; NO 7; PP. 201-266; BIBL. 6 P.Article

ORGANISATION DES DONNEES POUR L'ALGORITHME "EVIDENCE" DE RECHERCHE DE DEMONSTRATIONS DE THEOREMES DANS LES THEORIES FORMALISEESASEL'DEROV ZM; ANUFRIEV FV; KAPITONOVA YU V et al.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 61-67; BIBL. 3 REF.Serial Issue

COMPLEXITY AND RELATED ENHANCEMENTS FOR AUTOMATED THEOREMPROVING PROGRAMS.OVERBEEK R; MCCHAREN J; WOS L et al.1976; COMPUTERS MATH. APPL.; G.B.; DA. 1976; VOL. 2; NO 1; PP. 1-16; BIBL. 4 REF.Article

A RELAXATION APPROACH TO SPLITTING IN AN AUTOMATIC THEOREM PROVER.NEVINS AJ.1975; ARTIF. INTELLIG.; U.S.A.; DA. 1975; VOL. 6; NO 1; PP. 25-39; BIBL. 14 REF.Article

ALGORITHME "EVIDENCE"ANUFRIEV FV; ASEL'DEROV ZM.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 29-60Serial Issue

THE LINKED CONJUNCT METHOD FOR AUTOMATIC DEDUCTION AND RELATED SEARCH TECHNIQUESOMODEO EG.1982; COMPUT. MATH. WITH APPL.; ISSN 0097-4943; USA; DA. 1982; VOL. 8; NO 3; PP. 185-203; BIBL. 31 REF.Article

ON AN IF-THEN-ELSE TECHNIQUE FOR AUTOMATED THEOREM PROVING IN PROPOSITIONAL CALCULUSDABIJA V.1981; BULL. INST. POLITEH. "GHEORGHE GHEORGHIU-DEJ" BUCURESTI, ELECTROTEH.; ROM; DA. 1981; VOL. 48; NO 2; PP. 95-100; ABS. RUM; BIBL. 4 REF.Article

SEMIGROUPS, ANTIAUTOMORPHISMS, AND INVOLUTIONS: A COMPUTER SOLUTION TO AN OPEN PROBLEM. IWINKER SK; WOS L; LUSK EL et al.1981; MATH. COMPUT.; ISSN 0025-5718; USA; DA. 1981; VOL. 37; NO 156; PP. 533-545; BIBL. 6 REF.Article

AN INVESTIGATION INTO THE GOALS OF RESEARCH IN AUTOMATIC THEOREM PROVING AS RELATED TO MATHEMATICAL REASONINGBROWN FM.1980; ARTIF. INTELL.; ISSN 0374-2539; NLD; DA. 1980; VOL. 14; NO 3; PP. 221-242; BIBL. 7 REF.Article

ALGORITHME ET EXPERIENCE DE RECHERCHE DES DEMONSTRATIONS DE THEOREMES DANS LE CALCUL PROPOSITIONNELANUFRIEV FV; KOSTYAKOV VM; MALASHONOK AI et al.1972; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1972; NO 5; PP. 68-73; BIBL. 4 REF.Serial Issue

SNG PRODUCTION IN THE MEMPHIS DEMONSTRATION PLANTGRAY RW.1981; NEW FUELS ERA - ENERGY TECHNOLOGY 8. ENERGY TECHNOLOGY CONFERENCE. 8/1981/WASHINGTON DC; USA; ROCKVILLE: GOVERNMENT INSTITUTES; DA. 1981; PP. 791-802; BIBL. 7 REF.Conference Paper

TRANSFORMING MATINGS INTO NATURAL DEDUCTION PROOFSANDREWS PB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 281-292; BIBL. 9 REF.Conference Paper

ROHSTOFFE UND ENERGIE DURCH KOHLEVERGASUNG: DIE RUHRCHEMIE/RUHRKOHLE-DEMONSTRATIONSANLAGE ZUR TEXACO-KOHLEVERGASUNG = RAW MATERIAL AND ENERGY THROUGH COAL GASIFICATION: RUHRCHEMIE/RUHRKOHLE DEMONSTRATION PLANT OF COAL GASIFICATION BY TEXACO PROCESS = PRODUCTION DE MATIERES PREMIERES ET D'ENERGIE PAR LA GAZEIFICATION DU CHARBON: INSTALLATION DE DEMONSTRATION RUHRCHEMIE/RUHRKOHLE POUR LA GAZEIFICATION DU CHARBON SELON LE PROCEDE TEXACO.CORNILS B; HIBBEL J; RUPRECHT P et al.1980; BRENNST.-WAERME-KRAFT; ISSN 0006-9612; DEU; DA. 1980; VOL. 32; NO 10; PP. 468-471; ABS. ENGArticle

PROVING THEOREMS WITH THE MODIFICATION METHOD.BRAND D.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 4; PP. 412-430; BIBL. 10 REF.Article

EXPONENTIAL IMPROVEMENT OF EFFICIENT BACKTRACKING: A STRATEGY FOR PLAN-BASED DEDUCTIONPIETRZYKOWSKI T; MATWIN S.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 223-239; BIBL. 15 REF.Conference Paper

DELETING REPEATED GOALS IN THE PROBLEM REDUCTION FORMATLOUELAND DW; REDDY CR.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 4; PP. 646-661; BIBL. 14 REF.Article

THEOREM PROVING VIA GENERAL MATINGSANDREWS PB.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 2; PP. 193-214; BIBL. 31 REF.Article

RAW MATERIALS AND ENERGY FROM COAL GASIFICATION: THE RUHRCHEMIE/RUHRKOHLE DEMONSTRATION PLANT BASED ON TEXACO'S COAL-GASIFICATION PROCESSCORNILS B; HIBBEL J; RUPRECHT P et al.1980; CHEM. ECON. ENGNG REV.; JPN; DA. 1980; VOL. 12; NO 6-7; PP. 7-11Article

  • Page / 223