A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
On sentences which are true of direct unions of algebras
1951
Journal of Symbolic Logic (JSL)
Preserved Fulltext
Aspects syntaxiques Ce qui peutêtre dit : vocabulaire : les mots du langage grammaire : les phrases du langage
Aspects sémantiques Ce que l'on peut dire d'une expression logique : sémantique : signification ...
Prolog les tables de vérité des opérateurs logiques et (a · b), ou (a + b) et non (a) :
?? ...
de V en A ...
doi:10.2307/2268661
fatcat:wue3ela4wvdnrn3xeikzojtfrm
Contribution au Niveau de l'Approche Indirecte à Base de Transfert dans la Traduction Automatique
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Le futur Si le verbe (to be) est conjugué au futur (MD="will" & VB ="be"), la phrase sera précédée de "سيصبح" ou "ستصبح" selon le genre du sujet (figure 6.4) et l'attribut sera suffixé. ...
Le passé Si le verbe (to be) est conjugué au passé (VBD ="was" ou "were"), la phrase négative sera précédée de يكن" "لم ou تكن" "لم selon le genre du sujet (figure 6.6) et l'attribut sera suffixé ...
de chaînes de caractères et des arbres linguistiques (origine du langage de programmation Prolog), et deuxièmement, le système Météo pour traduire les prévisions météorologiques. ...
arXiv:1911.07030v1
fatcat:6q4kqtltlnaotjd4qibyoj2j6m
Langages et modèles à objets État des recherches et perspectives
1998
Amedeo Napoli. INRIA
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Liste des auteurs xii viii Langages et modèles à objets Seul un ouvrage collectif est à même de montrer comment la diversité des approches traduit les différences de motivation. ...
Enfin, le service d'imprimerie de l'INRIA (ou UCIS) a pris en charge la couverture et la réalisation matérielle de ce livre. ...
Alagar et R. Missaoui, pages 6-21. World Scientific, Singapore, 1995. [Brun, 1988] J. Brun. Aristote et le Lycée. Que sais-je?, N o 928. Presses Universitaires de France, Paris, 1988. ...
fatcat:dcxxtia6vfdq3d6d7ezxcyc6ka
Colloque International Discours et Document International Symposium Discourse and Document Fascicule n° 1 2006 Présidents du colloque Comité de programme Comité d'organisation Colloque International : Discours et Document International Symposium: Discourse and Document
2006
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Responsable : Patrice ENJALBERT L'objectif du colloque Discours et Document est de rassembler des chercheurs intéres-sés par ce qu'on peut appeler le « niveau document » en linguistique du discours, en ...
Ce fascicule regroupe les communications pré-sentées au colloque. ...
Bibliography BERNSTEIN M. (1998)
Remerciements NaviLire a reçu un soutien financier en 2005 de l'Ambassade de France au Danemark. NaviTexte est soutenu par un programme ECOS-Sud (U05H01). ...
fatcat:z5qkci6yqvdffldgpjyeqdj7bu
Traitement automatique des langues et apprentissage des langues assisté par ordinateur : bilan, résultats et perspectives
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Comparaison "sémantique" de phrases Après cette présentation des PSS dans les grandes lignes, cette section aborde la technique de comparaison "sémantique" de phrases et ses résultats préliminaires. ...
Les structures pseudo-sémantiques (PSS) Dans cette partie, nous décrivons les structures sémantiques que nous utilisons pour la comparaison sémantique de phrases ( §7.2) et la reformulation de phrase ( ...
G.1 Alphacode normal La colonne oui donnent le nombre de mots retrouvés et sélectionnés par la méthode. ...
doi:10.13097/archive-ouverte/unige:16552
fatcat:zhhhawmhfjd5bhfu23pp7wntdi
Liste des organismes et participants : Ont contribué à la rédaction de ce rapport
2004
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
La comparaison de deux événements se ramène alors à une comparaison numérique de leurs dates d'avènement. ...
logiques modales le type de sémantique qui porte son nom. ...
fatcat:klub6iy6wza4rpagtpovwygceq
Actes de la 9ème conférence des Technologies de l'Information et de la Communication pour l'Enseignement (TICE 2014) NOUVELLES PÉDAGOGIES, SCIENCES ET TECHNOLOGIES DU NUMÉRIQUE
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
D'autre part il faut convaincre les étudiants de leurs nouveaux rôles plus actifs et plus autonomes.
Remerciements À Aude Pichon pour la relecture de la première version de cet article. ...
Nous tenons à remercier toute l'équipe de conception et nos assistants
Conclusion Cette recherche montre que la majorité des apprenants témoignent de l'intérêt porté à la fonction tutorale et déclarent ...
La conception de tels EIAH est cependant très coûteuse en particulier du fait que les connaissances doivent être explicitées en Prolog, un langage informatique de représentation des connaissances, utilisé ...
fatcat:s6elri6rgvg7pbjczlnos2jwma