• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Alain Lecomte et Pierre Castéran (1)
    • Alvim, Mário Sérgio Ferreira (1)
    • Anoun, Houda (1)
    • CentraleSupélec (1)
    • Centre National de la Recherche Scientifique (CNRS)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)-Université Pierre Mendès France - Grenoble 2 (UPMF) (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)) (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) (1)
    • Delaunay, Pierre (1)
    • Direction de Recherche Technologique (CEA) (DRT (CEA)) (1)
    •   more
  • 
    Year:
    
    • 2018 (1)
    • 2017 (3)
    • 2015 (1)
    • 2013 (1)
    • 2007 (1)
  • 
    Medium
  • 
    Type:
    
    • Book (7)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 7 of 7 1 Algorithmes certifiés pour la simplification syntaxique de programmes ; Certified algorithms for program slicing Léchenet, Jean-Christophe. - : HAL CCSD, 2018 In: https://tel.archives-ouvertes.fr/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩ (2018) BASE Show details 2 Formalização da lógica linear em Coq Xavier, Bruno Francisco. - : Brasil, 2017. : UFRN, 2017. : PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2017 BASE Show details 3 Implémentation d'un langage fonctionnel orienté vers la méta programmation Delaunay, Pierre. - 2017 BASE Show details 4 Formalizing Abstract Computability: Turing Categories in Coq Vinogradova, Polina. - : Université d'Ottawa / University of Ottawa, 2017 BASE Show details 5 Certification of programs with computational effects ; Certification de programmes avec des effets calculatoires Ekici, Burak. - : HAL CCSD, 2015 In: https://tel.archives-ouvertes.fr/tel-01250842 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM070⟩ (2015) BASE Show details 6 Development and verification of probability logics and logical frameworks ; Développement et vérification des logiques probabilistes et des cadres logiques Maksimović, Petar. - : HAL CCSD, 2013 In: https://tel.archives-ouvertes.fr/tel-00907854 ; Other [cs.OH]. Université Nice Sophia Antipolis; Univerzitet u Novom Sadu, 2013. English. ⟨NNT : 2013NICE4074⟩ (2013) BASE Show details 7 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

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 7 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0