DE eng

Search in the Catalogues and Directories

Page: 1...38 39 40 41 42
Hits 821 – 833 of 833

821
NALBB: Enquête dialectologique à Roscoff - Sibiril
Le Dû, Jean; Le Besco, Patrick; Mme Marie Lallouet 62 ans née en 1932, ménagère. - : Centre de Recherche Bretonne et Celtique, 2010
BASE
Show details
822
NALBB: Enquête dialectologique à Gouesnou (1)
Le Dû, Jean; Miossec, Yves; Mme Richard. - : Centre de Recherche Bretonne et Celtique, 2010
BASE
Show details
823
NALBB: Enquête dialectologique à Plougasnou (3)
Le Dû, Jean; Hughes, Art; Jean le Déan cultivateur. - : Centre de Recherche Bretonne et Celtique, 2010
BASE
Show details
824
NALBB: Enquête dialectologique à Plounévez-Lochrist (6)
Le Dû, Jean; Ropars, Jean; L. L. B.. - : Centre de Recherche Bretonne et Celtique, 2010
BASE
Show details
825
NALBB: Enquête dialectologique à Plouvorn - Sainte-Sève
Le Dû, Jean; M. Elie; Mme Elie. - : Centre de Recherche Bretonne et Celtique, 2010
BASE
Show details
826
Structural abstract interpretation, A formal study using Coq
In: LERNET Summer School ; https://hal.inria.fr/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay (2008)
BASE
Show details
827
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
828
JOURNÉE DE SANKRANTI – 2002/2005 ; JOURNÉE DE SANKRANTI – 2002/2005: Vie sociale, culturelle et cultuelle parmi les Tisserands et autres quartiers.
In: https://medihal.archives-ouvertes.fr/hal-03437988 ; 2002 (2002)
BASE
Show details
829
Lion, hyène, caméléon, coq : noms et surnoms d'animaux en arabe au XIIe siècle
In: L'Orient au cœur, Hommage à André Miquel ; https://halshs.archives-ouvertes.fr/halshs-00009173 ; B. Halff, F. Sanagustin, M. Sironval. L'Orient au cœur, Hommage à André Miquel, Maisonneuve et Larose, pp.229-235, 2002 (2002)
BASE
Show details
830
JOURNÉE DE SANKRANTI – 2002/2005 ; JOURNÉE DE SANKRANTI – 2002/2005: Vie sociale, culturelle et cultuelle parmi les Tisserands et autres quartiers.
In: https://medihal.archives-ouvertes.fr/hal-03437988 ; 2002 (2002)
BASE
Show details
831
Proving Correctness of the Translation from Mini-ML to the CAM with the Coq Proof Development System
In: http://pauillac.inria.fr/~boutin/publi_w/RReng.ps.gz (1995)
BASE
Show details
832
NALBB: Enquête dialectologique à Plourac'h (2)
Le Dû, Jean; Miossec, Yves; M. Lucas Bourg, cultivateur. - : Centre de Recherche Bretonne et Celtique, 1972
BASE
Show details
833
Nested Abstract Syntax in Coq
In: http://math.unice.fr/~ah/div/fsubwf.pdf
BASE
Show details

Page: 1...38 39 40 41 42

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
833
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern