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

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

CRITERE DE CONSTRUCTIVITE FORTE D'UN MODELE HOMOGENEPERETYAT'KIN MG.1978; ALGEBRA I LOGIKA; SUN; DA. 1978; VOL. 17; NO 4; PP. 436-454; BIBL. 8 REF.Article

AUTOSTABILITE ET FAMILLES CONSTRUCTIVES CALCULABLESGONCHAROV SS.1975; ALGEBRA I LOGIKA, SEMINAR; S.S.S.R.; DA. 1975; VOL. 14; NO 6; PP. 647-680; BIBL. 5 REF.Article

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

FONCTIONNELLES CALCULABLES EN SERIE ET EN PARALLELESAZONOV V YU.1976; SIBIR. MAT. ZH.; S.S.S.R.; DA. 1976; VOL. 17; NO 3; PP. 648-672; BIBL. 12 REF.Article

L'APPRENTISSAGE COMME VARIANTE DE L'INFERENCE INDUCTIVEPOGOSYAN EH M.1978; IZVEST. AKAD. NAUK S.S.S.R., TEKH. KIBERN.; S.S.S.R.; DA. 1978; NO 3; PP. 62-69; BIBL. 21 REF.Article

PROSTROENIE I PRIMENENIE DIALOGOVYKH INFORMATSIONNO-LOGICHESKIKH SISTEM = CONSTRUCTION ET APPLICATION DES SYSTEMES D'INFORMATION LOGIQUE A DIALOGUEPKHOVELISHVILI MERAB GAYOZOVICH.1982; ; SUN; TBILISI: MECNIEREBA; DA. 1982; 64 P.; 22 CM; BIBL. 37 REF.Book

APPLICATION DE LA DEMARCHE DEDUCTIVE DANS LES SYSTEMES D'ANALYSE DE SITUATIONSLEVITAN GI.1977; IZVEST. AKAD. NAUK S.S.S.R., TEKH. KIBERN.; S.S.S.R.; DA. 1977; NO 1; PP. 108-115; BIBL. 4 REF.Article

PRINCIPE D'ASYMETRIE DE LA LOGIQUE DE LA MESURESTAKHOV AP.1976; PROBL. PEREDACHI INFORM.; S.S.S.R.; DA. 1976; VOL. 12; NO 3; PP. 69-77; BIBL. 19 REF.Article

LOGIQUES MODALES INTUITIONNISTES ADMETTANT UNE APPROXIMATION NON FINIESOTIROV V KH.1980; MAT. ZAMET.; SUN; DA. 1980; VOL. 27; NO 1; PP. 89-94; BIBL. 3 REF.Article

MODELES LOGIQUES DE DIAGNOSTIC D'OBJETS CONTINUSGOL'DMAN RS.1979; AVTOMAT. I TELEMEKH.; SUN; DA. 1979; NO 5; PP. 149-156; ABS. ENG; BIBL. 8 REF.Article

CONSTRUCTIVITE FORTE DES MODELES HOMOGENESGONCHAROV SS.1978; ALGEBRA I LOGIKA; SUN; DA. 1978; VOL. 17; NO 4; PP. 363-388; BIBL. 8 REF.Article

PROBLEME DU NOMBRE DES CONSTRUCTIVISATIONS NON AUTOEQUIVALENTESGONCHAROV SS.1980; DOKL. AKAD. NAUK SSSR; ISSN 0002-3264; SUN; DA. 1980; VOL. 251; NO 2; PP. 271-274; BIBL. 15 REF.Article

ON PROPERTIES OF THE MAXIMUM PERIODIC SEQUENCE REALIZABLE BY A NETWORK OF THRESHOLD ELEMENTSMIYASAKI K; FUJINO E; ISHII N et al.1977; SYST. COMPUTERS CONTROLS; USA; DA. 1977 PUBL. 1979; VOL. 8; NO 6; PP. 41-49; BIBL. 9 REF.Article

LA FORMATION DES CONCEPTS CONSIDEREE COMME UN PROCESSUS DE CONSTRUCTION D'UNE FONCTION LOGIQUEBONDAREV VM; LOVITSKIJ VA.1976; PROBL. BIONIKI, U.S.S.R.; S.S.S.R.; DA. 1976; NO 17; PP. 91-97Article

UNE CLASSE DE PANNES DE CIRCUITS ELECTRONIQUES A TRANSISTORSGROMOV FL; NOVIKOV VS.1976; ELEKTRON. I MODELIROVAN., U.S.S.R.; S.S.S.R.; DA. 1976; NO 12; PP. 97-98; BIBL. 3 REF.Article

LOGIQUE SPATIALE NON METRIQUEVAROSYAN SO; POSPELOV DA.1982; IZVESTIJA AKEDEMII NAUK SSSR. TEHNICESKAJA KIBERNETIKA; ISSN 0002-3388; SUN; DA. 1982; NO 5; PP. 86-99; BIBL. 24 REF.Article

SOME THEOREMS FOR MODEL THEORY OF MIXED-VALUED PREDICATE CALCULIVOJVODIC G.1978; PUBL. INST. MATH.; YUG; DA. 1978; VOL. 23; PP. 229-234; BIBL. 6 REF.Article

METHODE DE DETECTION DES RELATIONS LOGIQUES, BASEE SUR LES TABLEAUX EMPIRIQUESLBOV GS; KOTYUKOV VI; MASHAROV YU P et al.1976; VYCHISLIT. SIST.; S.S.S.R.; DA. 1976; NO 67; PP. 29-41; BIBL. 7 REF.Article

NOUVEAUX TYPES DE REALISABILITE ET REGLE DE MARKOVDRAGALIN AG.1980; DOKL. AKAD. NAUK SSSR; ISSN 0002-3264; SUN; DA. 1980; VOL. 251; NO 3; PP. 534-537; BIBL. 9 REF.Article

SUR UN SYSTEME SEMANTIQUE ETAGE AVEC UNE INTERPRETATION DEDUCTIVE DU QUANTIFICATEUR UNIVERSEL DU SECOND ORDREZASHEV JA.1979; C.R. ACAD. BULG. SCI.; BGR; DA. 1979; VOL. 32; NO 7; PP. 851-854; BIBL. 4 REF.Article

DETERMINATION DE LA GOUVERNABILITE D'UNE SOUS-CLASSE DE SYSTEMES DE COMMANDE LOGICO-DYNAMIQUESZHUK KD; VASIL'EV VP.1978; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1978; NO 2; PP. 78-82; ABS. ANGL.; BIBL. 2 REF.Article

LOGIQUE DU COMPORTEMENT DES SYSTEMES A FINALITEEFIMOV EI.1976; PROBL. CONTROL INFORM. THEORY; HUNGARY; DA. 1976; VOL. 5; NO 3; PP. 247-261; BIBL. 14 REF.; MEME DOC. ANGL 247-261Article

FORCE COMPARATIVE DES VARIANTES DE LA THESE DE CHURCH AU NIVEAU DE LA THEORIE DES ENSEMBLESKHAKHANYAN V KH.1980; DOKL. AKAD. NAUK SSSR; ISSN 0002-3264; SUN; DA. 1980; VOL. 252; NO 5; PP. 1070-1074; BIBL. 1 REF.Article