| 1 |
Formalisation de la relation entre les verbes imperfectifs et perfectifs en ukrainien
|
|
|
|
In: Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles. Volume 1 : conférence principale ; Traitement Automatique des Langues Naturelles ; https://hal.archives-ouvertes.fr/hal-03265878 ; Traitement Automatique des Langues Naturelles, 2021, Lille, France. pp.171-178 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
'The landfill has always borne fruit' : precarity, formalisation and dispossession among Uruguay's waste pickers
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A solution to the application problem of mathematics by Ramseyfication
|
|
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Proof, rigour and informality : a virtue account of mathematical knowledge
|
|
Tanswell, Fenner Stanley. - : University of St Andrews, 2017. : The University of St Andrews, 2017. : University of Stirling, 2017
|
|
BASE
|
|
Show details
|
|
|
| 5 |
La formalisation dans la théorie des opérations énonciatives : formes, formules, schémas
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304863 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.113-122 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
« C’est du chinois ? Eh bien le chinois ça s’apprend ! » Quelles organisations collectives pour formaliser l’archéologie ? (1950–2000)
|
|
|
|
In: Colloque de la Société Française pour l’Histoire des Sciences de l’Homme ; https://hal.archives-ouvertes.fr/hal-03140703 ; Colloque de la Société Française pour l’Histoire des Sciences de l’Homme, Nov 2015, Paris, France ; https://sfhsh.hypotheses.org/817 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
L'hypothèse des troubles du langage et de la pensée au risque de la formalisation sémantique du discours.
|
|
|
|
In: Analyse des discours Hors-Normes : approches, concepts et méthodes. ; https://halshs.archives-ouvertes.fr/halshs-01118547 ; Analyse des discours Hors-Normes : approches, concepts et méthodes., Jun 2015, Sherbrooke, Canada (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Gabriel G. Bès, linguiste empiriste
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://hal.archives-ouvertes.fr/hal-01176419 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, 56 (1), pp.13-37 ; http://atala.org/content/varia-10/ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
|
|
|
|
In: WoLLIC 2010 proceedings (2015)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Zero-probability and coherent betting : A logical point of view
|
|
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Représentations du sens lexical en lexicologie explicative et combinatoire : étude de trois formalisations spécifiques
|
|
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Les Gestes Non Manuels en Langue des Signes Française ; Annotation, analyse et formalisation : application aux mouvements des sourcils et aux clignements des yeux
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00547777 ; domain_other. Université de Provence - Aix-Marseille I, 2010. Français (2010)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Le(s) français : formaliser la variation ; Le(s) français : formaliser la variation: Langue Française 168
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00590783 ; Larousse, pp.148, 2010 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Une application de jeux génériques pour les jeux symboliques ; A general gaming engine for symbolic games
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Représentations du sens lexical en lexicologie explicative et combinatoire : étude de trois formalisations spécifiques
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
From the computer virology fudments toward a formal immunology ; Des fondements de la virologie informatique vers une immunologie formelle
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01748706 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩ (2008)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Des fondements de la virologie informatique vers une immunologie formelle ; From the computer virology fudments toward a formal immunology
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Vers une analyse automatique de la LSF ; Vers une analyse automatique de la LSF: une modélisation de la Langue des Signes Française par les Grammaires Minimalistes
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00186965 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
