NOMENCLATURE ET METALANGAGES POTENTIELS DANS LA COMMUNICATION MEDICALEsdIN: INF. MED. COLLOQ. IRIA; TOULOUSE; 1973; LE CHESNAY; INST. RECH. INF. AUTOM.; DA. S.D.; VOL. 3; PP. 151-182; BIBL. DISSEMConference Proceedings

ELEMENTS OF INTUITIONISTIC ANALYSIS. ROLLE'S THEOREM AND COMPLETE, TOTALLY BOUNDED, METRIC SPACES.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 4; PP. 289-298; BIBL. 4 REF.Article

METALANGAGE DE TRADUCTION DES LANGAGES INDEPENDANTS DU CONTEXTEKONSTANTINOV VI; NURIEV RM.1973; VYCHISLIT. SIST.; S.S.S.R.; DA. 1973; NO 57; PP. 74-83; BIBL. 6 REF.Article

METALANGAGE POUR L'INTRODUCTION DES R-GRAMMAIRES DANS UN TRANDUCTEUR SYNTAXIQUEMENT ORIENTEPOKROVSKIJ AM; RYABCHIKOV LN; SMERTENKO TV et al.1974; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1974; NO 6; PP. 57-61; ABS. ANGL.; BIBL. 4 REF.Article

DEFINITION NORMALE DES SEMANTIQUES DES LANGAGES DES SYSTEMES DE PROGRAMMATION MODERNESVEL'BITSKIJ IV.1975; DOKL. AKAD. NAUK S.S.S.R.; S.S.S.R.; DA. 1975; VOL. 223; NO 6; PP. 1329-1332; BIBL. 6 REF.Article

DABAR bedeutet « s » = DABAR équivaut à « s »SCHNEIDER, W.Biblische Notizen. 1991, Num 58, pp 24-28, issn 0178-2967Article

MODELES ET CALCULS LINGUISTIQUESALEEV VR; MANSUROV VN.1979; KIBERNETIKA; UKR; DA. 1979; NO 5; PP. 34-37; ABS. ENG; BIBL. 3 REF.Article

AN AUTOMATIC TRANSFORMATION OF A SPECIFIC NATURAL LANGUAGE IN A FORMALIZED METALANGUAGE.VACCARI E; DELANEY W; VENTRELLA S et al.1975; IN: COMPCON 75. HOW TO MAKE COMPUT. EASIER TO USE. COMPUT. SOC. CONF. 11; WASHINGTON, D.C.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 260-262; BIBL. 4 REF.Conference Paper

EL METALENGUAJE TERMINOLÓGICO INNOVADOR EN MI PRIMERA OBRA ORTOGRÁFICA (1974) : Il metalinguaggio. Temi e costruttiPOLO, José.Studi italiani di linguistica teorica ed applicata. 2010, Vol 39, Num 1, pp 93-101, issn 0390-6809, 9 p.Article

A COMPILER-COMPILER FOR COBOL ON MICROSSALE AE.1981; MINI-MICRO SOFTWARE; GBR; DA. 1981; VOL. 6; NO 4; PP. 2-10; BIBL. 8 REF.Article

LA REPRESENTATION DES DONNEES DOCUMENTAIRES. STRUCTURE DU METALANGAGE SATIN 1.BOURELLY L; CHOURAQUI E.1977; IN: EURIM II. EUR. CONF. APPL. RES. INF. SERV. LIBR.; AMSTERDAM; 1976; LONDON; ASLIB; DA. 1977; PP. 113-116; BIBL. 5 REF.Conference Paper

MELICOR : méta-langage instanciable pour la commande répartie = Parametrisable language for distributed controlDESCLAUX, Christine.1985, 183 pThesis

USING META-LEVEL INFERENCE FOR SELECTIVE APPLICATION OF MULTIPLE REWRITE RULES IN ALGEBRAIC MANIPULATIONBUNDY A; WELHAM B.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 24-38; BIBL. 2 P.Conference Paper

AN EXPERIMENT WITH "EDINBURGH LCF"LESZCZYLOWSKI J.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 170-181; BIBL. 19 REF.Conference Paper

A METALANGUAGE FOR SYSTEMATIC RESEARCH ON HUMAN COMMUNICATION VIA NATURAL LANGUAGEPEPINSKY HB.1974; J. AMER. SOC. INFORM. SCI.; U.S.A.; DA. 1974; VOL. 25; NO 1; PP. 59-69; BIBL. 2P.1/2Article

An empirical comparison of two metalanguagesISA, B. S; EVEY, R. J; MCVEY, B. W et al.International journal of man-machine studies. 1985, Vol 23, Num 3, pp 215-229, issn 0020-7373Article

An AgentSpeak Meta-interpreter and Its ApplicationsWINIKOFF, Michael.Lecture notes in computer science. 2006, pp 123-138, issn 0302-9743, isbn 3-540-32616-2, 1Vol, 16 p.Conference Paper

The use of machines to assist in rigorous proofMILNER, R.Philosophical transactions of the royal society of London, series A : mathematical and physical sciences. 1984, Vol 312, Num 1522, pp 411-422, issn 0080-4614Article

Conclusiveness of natural languages and recognition of imagesWOJCIK, Z. M.Cybernetics and systems. 1983, Vol 14, Num 1, pp 1-31, issn 0196-9722Article

TERMINOLOGIE, TERMINOGRAPHIE ET MÉTALANGAGE LINGUISTIQUES: QUELQUES RÉFLEXIONS ET PROPOSITIONSSWIGGERS, Pierre.Revue roumaine de linguistique. 2010, Vol 55, Num 3, issn 0035-3957, 209-222, 324 [15 p.]Article

Monads and effectsBENTON, Nick; HUGHES, John; MOGGI, Eugenio et al.Lecture notes in computer science. 2002, pp 42-122, issn 0302-9743, isbn 3-540-44044-5, 81 p.Conference Paper

Les divers types d'énonciation dans les textes injonctifs = The different types of utterance in the injunctive textsGRANDATY, Michel.Pratiques (Metz). 2001, Num 111-12, pp 107-114, issn 0338-2389, 250 [9 p.]Article

LANGUAGES WITH HOMOMORPHIC REPLACEMENTSALBERT J; WEGNER L.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 16; NO 3; PP. 291-305; BIBL. 13 REF.Article

ON THE GENERATION OF COMPILERS FROM LANGUAGE DEFINITIONSPAGAN FG.1980; INFORM. PROCESSG LETTERS; NLD; DA. 1980; VOL. 10; NO 2; PP. 104-107; BIBL. 10 REF.Article

Page / 13