Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SYSTEME FORMEL")

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

Results 1 to 25 of 82

  • Page / 4
Export

Selection :

  • and

SUR LA SEMANTIQUE DES OPERATEURS D'INSERTION DANS UNE ARBORESCENCECASTANET R.1972; C. R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 3; PP. 209-212; BIBL. 1 REF.Serial Issue

FORMAL SYSTEMS FOR MECHANIZED STATISTICAL INFERENCEHAVRANEK T.1981; INT. J. MAN. MACH. STUD.; ISSN 0020-7373; GBR; DA. 1981; VOL. 15; NO 3; PP. 333-350; BIBL. 25 REF.Article

UNE FORMALISATION DE LA SEMANTIQUE DES OPERATEURS D'EXTRACTION DANS UNE ARBORESCENCECASTANET R.1972; C.R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 2; PP. 135-137; BIBL. 7 REF.Serial Issue

Unification dans les Théories Syntaxiques = Unification in Syntactic TheoriesKlay, Francis; Kirchner, Claude.1992, 96 p.Thesis

Learning of erasing primitive formal systems from positive examplesUEMURA, Jin; SATO, Masako.Theoretical computer science. 2006, Vol 364, Num 1, pp 98-114, issn 0304-3975, 17 p.Conference Paper

A FORMAL SYSTEM FOR FUZZY REASONINGGILES R.1979; FUZZY SETS SYST.; GBR; DA. 1979; VOL. 2; NO 3; PP. 233-257; BIBL. 11 REF.Article

RECURSION INDUCTION PRINCIPLE REVISITEDBOUDOL G; KOTT L.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 135-173; BIBL. 34 REF.Article

A NEW INCOMPLETENESS RESULT FOR HOARE'S SYSTEM.WAND M.1978; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1978; VOL. 25; NO 1; PP. 168-175; BIBL. 15 REF.Article

LUCID - A FORMAL SYSTEM FOR WRITING AND PROVING PROGRAMS.ASHCROFT EA; WADGE WW.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 336-354; BIBL. 5 REF.Article

ON A SIMPLE COMBINATORIAL STRUCTURE SUFFICIENT FOR SYBLYING NONTRIVIAL SELF-REPRODUCTION.PRIESE L.1976; J. CYBERN.; U.S.A.; DA. 1976; VOL. 6; NO 1-2; PP. 101-137; BIBL. 2 P. 1/2Article

STRUCTURE-CONTEXT APPROACH TO MICROPROGRAM ANALYSIS.HANSEN I; LESZCZYLOWSKI J.1976; PRACE C.O. P.A.N.; POLSKA; DA. 1976; NO 256; PP. 1-16; ABS. POL. RUSSE; BIBL. 3 REF.Serial Issue

Extensions grammaticales de la programmation (en) logique: application à la validation des grammaires affixes = Grammatical extensions of logic programming: application to the validation of affix grammarsSaidi, Sadegh; David, Bertrand.1992, 188 p.Thesis

Systèmes axiomatiques avec constantes propositionnelles et variables fonctionnellesBIELTZ, P.Analele Universitătii Bucuresti. Filosofie. 1990, Vol 39, pp 70-89, issn 0068-3175Article

D'une scène à l'autre. Matérialités et théâtralités de la bande dessinée : BANDE DESSINEE: LE PARI DE LA MATERIALITEMOURATIDOU, Eleni.Communication et langages. 2011, Num 167, issn 0336-1500, 41-52, 147, 149, 151 [15 p.]Article

Formal systems for join dependenciesBEERI, C; VARDI, M. Y.Theoretical computer science. 1985, Vol 38, Num 1, pp 99-116, issn 0304-3975Article

Die Semantik der intuitionistischen Typentheorie = Semantics of intuitionistic types theoryGRUBE, G.Arbeitspapiere zur Linguistik. 1994, Num 30, pp 85-94, issn 0343-8694Article

GITKSAN MODALSMATTHEWSON, Lisa.International journal of American linguistics. 2013, Vol 79, Num 3, pp 349-394, issn 0020-7071, 46 p.Article

Donkey pluralities : plural information states versus non-atomic individuals = Pluralités Donkey: Etats d'information plurielle contre individus non-atomiquesBRASOVEANU, Adrian.Linguistics and philosophy. 2008, Vol 31, Num 2, pp 129-209, issn 0165-0157, 81 p.Article

Semiotic impediments to formalizationsLIPSCHÜTZ-YEVICK, M.Semiotica. 1998, Vol 120, Num 1-2, pp 109-128, issn 0037-1998Article

ARBITRAIRE ET DIFFÉRENTIEL CHEZ SAUSSURE, PORTÉE ET LIMITES = Arbitrariness and differential in Saussure, scope and limitationsMAHMOUDIAN, Mortéza.La Linguistique (Paris. 1965). 2012, Vol 48, Num 2, pp 3-26, issn 0075-966X, 24 p.Article

Fractal images of formal systemsST. DENIS, P; GRIM, P.Journal of philosophical logic. 1997, Vol 26, Num 2, pp 181-222, issn 0022-3611Article

Merging without mystery or : variables in dynamics semanticsVERMEULEN, C. F. M.Journal of philosophical logic. 1995, Vol 24, Num 4, pp 405-450, issn 0022-3611Article

Rich classes inferable from positive data: length-bounded elementary formal systemsSHINOHARA, T.Information and computation (Print). 1994, Vol 108, Num 2, pp 175-186, issn 0890-5401Article

A formal approach to learning from examplesDELGRANDE, J. P.International journal of man-machine studies. 1987, Vol 26, Num 2, pp 123-141, issn 0020-7373Article

The complexity of marketplace logicALMOG, J.Linguistics and philosophy. 1997, Vol 20, Num 5, pp 545-569, issn 0165-0157Article

  • Page / 4