Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-01251668v1 Thèse Jérôme Kirman. Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues Informatique et langage [cs.CL]. Université de Bordeaux, 2015. Français
	tel-01253426v1 HDR Sylvain Salvati. Lambda-calculus and formal language theory Computer Science [cs]. Université de Bordeaux, 2015
	tel-01245370v1 Thèse Jaime Arias. Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices Computer Science [cs]. Université de Bordeaux, 2015. English
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM