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

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

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

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

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

MODELES SEMIOTIQUES: BILAN ET PERSPECTIVESPOSPELOV DA.1976; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1976; NO 6; PP. 114-123; ABS. ANGL.; BIBL. 1 P. 1/2Article

ON THE DEFINITION OF LAMBDA-CALCULUS MODELSBERRY G.1980; RAPP. RECH., I.N.R.I.A.; FRA; DA. 1980; NO 46; 12 P.; ABS. FRE; BIBL. 18 REF.Serial Issue

UN MODELE LOGIQUE DE LA COHERENCE SEMANTIQUE DES BASES DE DONNEESMARCHAND H.1978; BULL. LIAISON CLUB BANQUES DONN.; FRA; DA. 1978-05; NO 17; PP. 243-265; BIBL. 13 REF.Article

QUALITATIVE ANALYSIS IN RELIABILITY AND SAFETY STUDIES.WORRELL RB; BURDICK GR.1976; I.E.E.E. TRANS. RELIABIL.; U.S.A.; DA. 1976; VOL. 25; NO 3; PP. 164-169; BIBL. 25 REF.Article

Decision logic for anglo-american cataloguing rules. XXI: «Choice of access points»COCKSHUTT, M. E; COOK, C. D; SCHABAS, A. H et al.Library resources & technical services. 1983, Vol 27, Num 4, pp 371-390, issn 0024-2527Article

DEPOSITIONAL MODELS IN COAL EXPLORATION.HORNE JC; FERM JC.1976; GEOL. SOC. AMER., ABSTR. PROGRAMS; U.S.A.; DA. 1976; VOL. 8; NO 6; PP. 926-927Conference Paper

APPLICATION D'UNE ANALYSE DE SYSTEME A LA MODELISATION LOGIQUE D'UN PROCESSUS POUR DETERMINER LA RESISTANCE A LA FISSURATION DES MATERIAUX FORTEMENT AUSTENITIQUESFEKLISTOV SI; ANOSOV NP.1978; SVAROCH. PROIZVOD.; SUN; DA. 1978; NO 8; PP. 3-6; BIBL. 11 REF.; LOC. ISArticle

Logic modelingKIMBROUGH, Steven O.Decision support systems. 1998, Vol 22, Num 3, issn 0167-9236, 109 p.Serial Issue

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article