kw.\*:("MODELE LOGIQUE")
Results 1 to 25 of 685
Selection :
PARADIGMATIC PROCESSES IN CULTURE CHANGE = LES PROCESSUS PARADIGMATIQUES DANS LES MODIFICATIONS CULTURELLESWALLACE AFC.1972; AMER. ANTHROPOLOGIST; U.S.A.; DA. 1972; VOL. 74; NO 3; PP. 467-478; BIBL. 13REF.Article
A NOTE ON MODEL COMPLETE MODELS AND GENERIC MODELSSAHARON SHELAH.1972; PROC. AMER. MATH. SOC.; U.S.A.; DA. 1972; VOL. 34; NO 2; PP. 509-514; BIBL. 4 REF.Serial Issue
VERS UNE THEORIE DE LA REFERENCE: NOMS ET DESCRIPTIONS DANS DES CONTEXTES NON EXTENSIONNELSPADUCHEVA EV.1983; NAUCNO-TEHNICESKAJA INFORMACIJA-VSESOJUZNYJ INSTITUT NAUCNOJ I TEHNICESKOJ INFORMACII. SERIJA 2. INFORMACIONNYE PROCESSY I SISTEMY; ISSN 0548-0027; SUN; DA. 1983; NO 1; PP. 24-29; BIBL. 27 REF.Article
LOGIC MODEL FOR A THYRISTOR AND ITS APPLICATION IN INVERTOR CIRCUIT SIMULATION.HO HH.1975; ELECTR. ENGNG TRANS.; AUSTRAL.; DA. 1975; VOL. 11; NO 2; PP. 68-72; BIBL. 9 REF.Article
ANALYSE LOGIQUE DE LA DESCRIPTION MATHEMATIQUE DES OBJETS DANS LES PROBLEMES DE DIAGNOSTICGOL'DMAN RS.1974; AVTOMAT. I TELEMEKH.; S.S.S.R.; DA. 1974; NO 11; PP. 123-128; ABS. ANGL.; BIBL. 6 REF.Article
SUR LES STRUCTURES GENERIQUES EN THEORIE DES MODELESCUSIN R.1973; REV. ROUMAINE MATH. PURES APPL.; ROUMAN.; DA. 1973; VOL. 18; NO 4; PP. 519-541; BIBL. 25 REF.Serial Issue
SUR LES VARIANTES SEQUENTIELLES DU CALCUL DES PREDICATS AVEC EGALITEROGAVA MG; TSKHADADZE OS.1974; SOOBSHCH. AKAD. NAUK GRUZ. S.S.R.; S.S.S.R.; DA. 1974; VOL. 76; NO 3; PP. 537-539; ABS. GEORGIEN ANGL.; BIBL. 3 REF.Article
A METHOD FOR PROVING THE NON-EXISTENCE OF FINITE CHARACTERISTIC MODELS FOR IMPLICATIONAL CALCULIBISWAMBHAR PAHI.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 169-172; BIBL. 14 REF.Serial Issue
ON SIMPLE, WEAK AND STRONG MODELS OF PROPOSITIONAL CALCULIHARROP R.1973; PROC. CAMBRIDGE PHILOS. SCI.; G.B.; DA. 1973; VOL. 74; NO 1; PP. 1-9; BIBL. 9 REF.Serial Issue
A CHARACTERISTIC DIRECT LIMIT PROPERTYFITTLER R.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 131-133; BIBL. 3 REF.Serial Issue
MODEL THEORY ON A POSITIVE SECOND ORDER LOGIC WITH COUNTABLE CONJUNCTIONS AND DISJUNCTIONSMOTOHASHI N.1973; J. MATH. SOC. JAP.; JAP.; DA. 1973; VOL. 25; NO 1; PP. 27-42; BIBL. 21 REF.Serial Issue
LE "FORCING-COMPAGNON" SANS "FORCING"HENRARD P.1973; C.R. ACAD. SCI., A; FR.; DA. 1973; VOL. 276; NO 12; PP. 821-822; BIBL. 2 REF.Serial Issue
ELEMENTARY LOGIC AND MODELSNADIU GS.1972; BULL. MATH. SOC. SCI. MATH. REPUBL. SOCIAL. ROUMAN.; ROUMAN.; DA. 1972; VOL. 15; NO 1; PP. 95-111; BIBL. 13 REF.Serial Issue
THEORIE DES MODELES ET ESPACES LPKRIVINE JL.1972; C.R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 23; PP. 1207-1210; BIBL. 4 REF.Serial Issue
A THEOREM ON THE INTERRELATIONSHIP OF AXIOM SYSTEMS FOR IMPLICATIONAL CALCULIBISWAMBHAR PAHI.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 165-167; BIBL. 4 REF.Serial Issue
ORBITES LOGIQUES DES SYSTEMES DE RECONNAISSANCEDADASHEV TM.1974; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1974; NO 6; PP. 121-133; ABS. ANGL.; BIBL. 7 REF.Article
SOLUTION THEORIQUE DU PROBLEME GENERAL DE LA RECONNAISSANCE DES FORMES DU POINT DE VUE DE LA THEORIE DE L'INTELLIGENCE CONCEPTUELLECHAVCHANIDZE VV.1974; SOOBSHCH. AKAD. NAUK GRUZ. S.S.R.; S.S.S.R.; DA. 1974; VOL. 76; NO 2; PP. 313-316; ABS. GEORGIEN ANGL.; BIBL. 16 REF.Article
EXPERIMENTATIONS AVEC UNE BASE DE DONNEES CONTENANT UNE INFORMATION INCOMPLETE PAR UNE METHODE DE GENERATION D'HYPOTHESES DITE DSMZABEZHAJLO MI; FINN VK; AVIDON VV et al.1983; NAUCNO-TEHNICESKAJA INFORMACIJA-VSESOJUZNYJ INSTITUT NAUCNOJ I TEHNICESKOJ INFORMACII. SERIJA 2. INFORMACIONNYE PROCESSY I SISTEMY; ISSN 0548-0027; SUN; DA. 1983; NO 2; PP. 28-32; BIBL. 7 REF.Article
QUELQUES MODELES DE LOGIQUE COMBINATOIRESKORDEV D.1976; MAT. ZAMET.; S.S.S.R.; DA. 1976; VOL. 19; NO 1; PP. 149-154; BIBL. 3 REF.Article
THEORIE DE LA RECHERCHE DE LA DEDUCTION ET QUELQUES APPLICATIONSMASLOV S YU.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 4; PP. 134-144; ABS. ANGL.; BIBL. 1 P. 1/2Article
MODELES INTERMEDIAIRES ET EXTENSIONS GENERIQUESGRIGORIEFF S.1973; C.R. ACAD. SCI., A; FR.; DA. 1973; VOL. 276; NO 26; PP. 1635-1638; BIBL. 3 REF.Serial Issue
REPRESENTATION OF MODELS OF FULL THEORIESADLER A.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 183-188; BIBL. 2 REF.Serial Issue
SOME RESULTS ON THE INTERMEDIATE LOGICSONO H.1972; PUBL. RES. INST. MATH. SCI.; JAP.; DA. 1972; VOL. 8; NO 1; PP. 117-130; BIBL. 13 REF.Serial Issue
MODELES CONSTRUCTIFS DES THEORIES INDECIDABLESKUDAJBERGENOV K ZH.1980; SIB. MAT. Z.; ISSN 0037-4474; SUN; DA. 1980; VOL. 21; NO 5; PP. 155-158; BIBL. 5 REF.Article
REDUCTION DE LA TAUTOLOGIE PROPOSITIONNELLE A LA COLORATION DES GRAPHES EN TROIS COULEURSDAVYDOV GV; SUVOROV P YU.1974; ZAP. NAUCH. SEMINAR. LENINGRAD. OTDEL. MAT. INST. V.A. STEKLOVA; S.S.S.R.; DA. 1974; VOL. 40; PP. 10-13; ABS. ANGL.; BIBL. 1 REF.Article