DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Implémentation d'un langage fonctionnel orienté vers la méta programmation
BASE
Show details
2
Formalizing Abstract Computability: Turing Categories in Coq
Vinogradova, Polina. - : Université d'Ottawa / University of Ottawa, 2017
BASE
Show details
3
Nested atomic sections with thread escape : semantics and compilation ; Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation
Pinsard, Thomas. - : HAL CCSD, 2014
In: https://tel.archives-ouvertes.fr/tel-01362118 ; Algorithme et structure de données [cs.DS]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2075⟩ (2014)
BASE
Show details
4
A logical approach to grammar for natural languages ; Approche logique des grammaires pour les langues naturelles
Anoun, Houda. - : HAL CCSD, 2007
In: https://tel.archives-ouvertes.fr/tel-00414778 ; Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français (2007)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern