Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SEMANTIQUE")

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 45574

  • Page / 1823

Export

Selection :

  • and

DEFINICION SEMANTICA EN LENGUAJES DE PROGRAMACION = DEFINITION SEMANTIQUE DE LANGAGES DE PROGRAMMATIONOREJAS F.1981; NOVATICA; ISSN 0211-2124; ESP; DA. 1981; VOL. 7; NO 38-39; PP. 27-34; 7 P.; BIBL. 50 REF.Article

PSYCHOLOGICAL MEANING: COMPARATIVE ANALYSES AND THEORETICAL IMPLICATIONSSZALAY LB; BRYSON JA.1974; J. PERSONALITY SOC. PSYCHOL.; U.S.A.; DA. 1974; VOL. 30; NO 6; PP. 860-870; BIBL. 29REF.Article

AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES. A THEORETICAL ASSESSMENTMEYER AR; HALPERN JY.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 203-212; BIBL. 17 REF.Conference Paper

PREUVE ET GENERATION D'ATTRIBUTS SEMANTIQUESDERANSART P.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1978; PP. 1-27; 302; ABS. ENG; BIBL. 3 P.Serial Issue

NONR FOR SEMANTICSASHCROFT EA; WADGE WW.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 2; PP. 283-294; BIBL. 30 REF.Article

LES RAISONS DES CHOIX DANS LA DEFINITION FORMELLE DU LANGAGE ADA = REASONS FOR CHOICES IN THE FORMAL DEFINITION OF THE ADA LANGUAGEDONZEAU GOUGE VERONIQUE.1982; ; FRA; DA. 1982; 153 P.; 1982; BIBL. 45 REF.; TH.: SCI. MATH./PARIS 7/1982Thesis

ALGEBRAIC SEMANTICS AND PROGRAM LOGICS: ALGORITHMIC LOGIC FOR PROGRAM TREESENJALBERT P.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 132-147; BIBL. 17 REF.Conference Paper

(BUNDLES AND PROGRAMS SEMANTICS)RAMMESNAIT ABDALLAH MOHAND ARESKI.1980; ; FRA; DA. 1980; 2 VOL.; 30 CM; ABS. ENG; BIBL. 11 P.; TH.: SCI. MATH./PARIS 7/1980Thesis

SEMANTIQUE DE RESEAUX PARALLELES: UNE APPROCHE DU TEMPS REELBOUSSINOT F.1980; REV. TECH. THOMSON-CSF; FRA; DA. 1980; VOL. 12; NO 3; PP. 557-573; ABS. ENG; BIBL. 20 REF.Article

NONDETERMINISM AND JULLY ABSTRACT MODELSASTESIANO E; COSTA G.1980; R.A.I.R.O. INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1980; VOL. 14; NO 4; PP. 323-347; ABS. FRE; BIBL. 10 REF.Article

COMPLEMENTARY DEFINITIONS OF PROGRAMMING LANGUAGE SEMANTICS.DONAHUE JE.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 42; PP. 1-172; BIBL. 5 P. 1/2; ISBN 354007628XSerial Issue

THE PATTERN-OF-CALLS EXPANSION IS THE CANONICAL FIXPOINT FOR RECURSIVE DEFINITIONSARBIB MA; MANES EG.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 2; PP. 577-602; BIBL. 42 REF.Article

IN-SCOTT-STARCHY STYLE DENOTATIONAL SEMANTICS, PARALLELISM IMPLIES NONDETERMINISMBENSON DB.1982; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1982; VOL. 15; NO 3; PP. 265-275; BIBL. 16 REF.Article

FULL ABSTRACTION FOR SEQUENTIAL LANGUAGES: THE STATE OF THE ART = MODELE COMPLETEMENT ADEQUAT DE LANGAGES SEQUENTIELS: L'ETAT DE L'ARTBERRY GERARD; CURIEN PIERRE LOUIS; LEVY JEAN JACQUES et al.1983; ; FRA; PARIS: IMPR. I.N.R.I.A.; DA. 1983; INRIA/RR-197; 43 P.; 30 CM; ABS. FRE; BIBL. 46 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 197]Report

ON EFFECTIVE COMPUTATIONS OF NON-DETERMINISTIC SCHEMESPOIGNE A.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 313-336; BIBL. 16 REF.Conference Paper

CIRCULAR EXPRESSIONS: ELIMINATION OF STATIC ENVIRONMENTSSETHI R.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 378-392; BIBL. 2 P.Conference Paper

ON THE FORMAL DEFINITION OF ADADONZEAU GOUGE V; KAHN G; LANG B et al.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 1; PP. 5-14; BIBL. 13 REF.Article

A THEORY OF NONDETERMINISMKENNAWAY JR; HOARE CAR.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 338-350; BIBL. 6 REF.Conference Paper

EQUIVALENTIAL LOGICS. IICZECAKOWSKI J.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981 PUBL. 1982; VOL. 40; NO 4; PP. 355-372; BIBL. 19 REF.Article

MORE THAN E, P AND A IN SEMANTIC DIFFERENTIAL SCALES: AN ANSWER TO QUESTIONS RAISED BY S.T.M.TZENG OCS; MAY WH.1975; J. INTERNATION., PSYCHOL.; FR.; DA. 1975; VOL. 10; NO 2; PP. 101-117; ABS. FR.; BIBL. 10 REF.Article

THE SEMANTIC STRUCTURE IN DEAF CHILDREN. = LA STRUCTURE SEMANTIQUE CHEZ L'ENFANT SOURDGREEN WB; SHEPHERD DC.1975; J. COMMUN. DISORD.; NETHERL.; DA. 1975; VOL. 8; NO 4; PP. 357-365; BIBL. 14 REF.Article

ALGEBRAIC SEMANTICSGUESSARIAN I.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 99; 166 P.; BIBL. 13 P.Serial Issue

DISTANCES SEMANTIQUES CONTEXTUELLESIOSIFESCU I.1975; STUD. CERC. MAT.; ROMAN; DA. 1975; VOL. 27; NO 5; PP. 545-557; ABS. FR.; BIBL. 8 REF.Article

SUR LES SYSTEMES DE DEFINITIONS RECURSIVES PAR CAS: APPLICATION A LA SEMANTIQUE DENOTATIONNELLE = ON SYSTEMS OF DEFINITIONS RECURSIVE BY CASE: APPLICATION TO DENOTATIONAL SEMANTICSLAVANDIER FRANCOIS.1982; ; FRA; DA. 1982; 89 P.; 30 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./BORDEAUX 1/1982/1737Thesis

LES MACHINES SEMANTIQUES1971; IN: 6EME CONGR. INT. CYBERN. NAMUR, 1970. ACTES; NAMUR; ASSOC. INT. CYBERN.; DA. 1971; PP. 471-577; BIBL. DISSEM.Conference Proceedings

  • Page / 1823