Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Formalisation")

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 917

  • Page / 37
Export

Selection :

  • and

Vers une normalisation scientifique du dessin des céramiques = Towards a scientific normalization of the ceramics' drawingBLANC, C.Archéologie des Pyrénées occidentales et des Landes. 1994, Vol 13, pp 69-76, issn 1245-494XArticle

Ficha antropológica : a utilizar na escavacãoSANTOS, A. L; CUNHA, E; DÂMASO, N et al.Antropologia portuguesa. 1991, Vol 9-10, issn 0870-0990, p. 67Article

O espécimen, o objecto - Novas formas de documentaçâoCAMARGO-MORO, F. de.Leba. Estudos de Pré-História e Arqueología. 1992, Num 7, pp 123-202Conference Paper

ETUDE SUR LES LIMITES DE LA FORMALISATION EN SYNTAXEDE CORNULIER B; BORILLO A; DEULOFEU J et al.1974; DGRST-7371663; FR.; DA. 1974; PP. (296 P.); BIBL. DISSEM.; (RAPP. FINAL, ACTION COMPLEMENTAIRE COORDONNEE: INF. SCI. HUM.)Report

La perception du temps en préhistoire : Du temps ordonné au temps quantifié : application d'outils mathématiques au modèle d'analyse stratigraphique d'Edward HarrisDESACHY, Bruno.Bulletin de la Société préhistorique française. 2005, Vol 102, Num 4, pp 729-740, issn 0249-7638, 12 p.Conference Paper

Definition and basic properties of the Deva meta-calculusWEBER, M.Formal aspects of computing. 1993, Vol 5, Num 5, pp 391-431, issn 0934-5043Article

Mathématiques, musique et émotion = Mathematics, music and emotionALLOUCHE, Jean-Paul; MAILLARD-TEYSSIER, Laurence.Mathématiques et sciences humaines (2000). 2007, Num 178, pp 119-124, issn 0987-6936, 6 p.Article

El diagnóstico retrospectivo en paleopatologíaTHILLAUD, P. L.Munibe. 1992, pp 81-88, issn 0027-3414, Suppl. 8Conference Paper

Informatização documental de arqueologia e história pre-colonial―projecto experimentalFERRÃO, L. B. S.Leba. Estudos de Pré-História e Arqueología. 1992, Num 7, pp 455-462Conference Paper

Fleksja rzeczowników pospolitych we współczesnej polszczyźnie pisanej. Na materiale « Słownika języka polskiego » PAN pod redakcją W. Doroszewskiego = La flexion des noms communs en polonais contemporain écrit (sur la base du « Słownik języka polskiego »)GRUSZCZYŃSKI, W.Prace językoznawcze - Polska Akademia Nauk. 1989, Num 122, pp 3-154, issn 0079-3485Article

Informalization and contemporary manners : The wouters studiesSTEARNS, Peter N.Theory and society. 2007, Vol 36, Num 4, pp 373-379, issn 0304-2421, 7 p.Article

La phénoménologie refuse l'abstraction et la formalisationPIGUET, J.-C.Husserl Research-Drawing Upon the Full Extent of His Development. Book 1. Phenomenology in the World Fifty Years after the Death of Edmund Husserl. Analecta Husserliana. 1991, Vol 34, pp 427-439Book Chapter

Typologie des biens superphraséologiques et quelques possibilités de leur formalisationBLEKHMAN, M. S.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1984, Num 1, pp 21-27, issn 0548-0027Article

Structure et fonction des variantes dans le système linguistiqueBIERWISCH, M.La sociolinguistique en pays de langue allemande. 1989, pp 125-161, isbn 2-85939-325-0Book Chapter

Per-unit scaling in electric power systemsGROSS, C. A; MELIOPOULOS, S. P.IEEE transactions on power systems. 1992, Vol 7, Num 2, pp 702-708, issn 0885-8950Conference Paper

Theory and formalization : Some reflections on experience : Formal models and research programs : Reflections from experience = Théorie et formalisation : Quelques réflexions sur l'expérience : La théorie formelleBERGER, Joseph.Sociological theory. 2000, Vol 18, Num 3, pp 482-489, issn 0735-2751Conference Paper

Intertextual argument in Gorgias's on what is not: a formalization of sextus, adv Math 7.77-80SCHIAPPA, E; HOFFMAN, S.Philosophy & rhetoric. 1994, Vol 27, Num 2, pp 156-161, issn 0031-8213Article

Teoriâ formalizacii geomorfologičeskih predstavlenij A.E. ScheideggerTROFIMOV, A.M.Geomorfologiâ (Moskva). 1993, Num 3, pp 22-27, issn 0435-4281Article

An analysis of the revised HPA dosimetry protocolsNAHUM, A. E; THWAITES, D. I; ANDREO, P et al.Physics in medicine & biology (Print). 1988, Vol 33, Num 8, pp 923-938, issn 0031-9155Article

A Short Vindication of Reichenbach's « Event-Splitting »PFEIFER, K.Logique et Analyse. 1988, Vol 31, Num 121-122, pp 143-152Article

Sur la force sémantique des langages d'interrogationLIVCHAK, A. B.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1984, Num 2, pp 30-31, issn 0548-0027Article

Choix des représentations pour la résolution des problèmes combinatoiresBABINOV, YU. P.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1983, Num 5, pp 202-204, issn 0002-3388Article

Varieties of «if-then-else»BLOOM, S. L; TINDELL, R.SIAM journal on computing (Print). 1983, Vol 12, Num 4, pp 677-707, issn 0097-5397Article

Traditional Logic, Modern Logic and Natural LanguageHODGES, Wilfrid.Journal of philosophical logic. 2009, Vol 38, Num 6, pp 589-606, issn 0022-3611, 18 p.Article

QUELQUES PROBLEMES DE CLASSIFICATIONKUPERSHTOKH VL; MIRKIN BG.1971; IN: MAT. METODY RESHENIYA EHKON. ZADACH; NOVOSIBIRSK; NAUKA; DA. 1971; PP. 86-96; BIBL. 5 REF.Book

  • Page / 37