Toulon < Toulouse < Toulouse C

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Toulouse

Number of relevant bibliographic references: 80.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
002638 (2011)	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Satoulouse : The Computational Power of Propositional Logic Shown to Beginners
002655 (2011)	Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France]	Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
002680 (2011)	Bénédicte Héron [France] ; Yann Mikaeloff [France] ; Roseline Froissart [France] ; Guillaume Caridade [France] ; Irène Maire [France] ; Catherine Caillaud [France] ; Thierry Levade [France] ; Brigitte Chabrol [France] ; François Feillet [France] ; Hélène Ogier [France] ; Vassili Valayannopoulos [France] ; Helen Michelakakis [Grèce] ; Dimitrios Zafeiriou [Grèce] ; Lucy Lavery [Royaume-Uni] ; Ed Wraith [Royaume-Uni] ; Olivier Danos [France] ; Jean-Michel Heard [France] ; Marc Tardieu [France]	Incidence and natural history of mucopolysaccharidosis type III in France and comparison with United Kingdom and Greece
002730 (2011)	Olivier Gasquet [France] ; François Schwarzentruber [France]	Concrete Epistemic Modal Logic: Flatland
002F57 (2010)	J.-M. Canard [France] ; J. Étienne [France] ; J. M. Canard [France] ; R. Delcenserie [France] ; J. Boyer [France] ; M. Robaszkiewicz [France] ; J.-C. Letard [France] ; F. Cessot [France] ; P.-A. Dalbiès [France] ; J.-P. Carle [France] ; B. Kieffer [France] ; P. Capot [France] ; R.-P. Charles [France] ; D. Sautereau [France] ; T. Helbert [France] ; F. Devulder [France] ; V. Blandin-Matas [France] ; J.-L. Baron [France] ; J.-F. Vincensini [France] ; J. Lapuelle [France] ; A. Calazel-Benque [France] ; P. Pienkowski [France] ; É. Vaillant [France] ; V. Costil [France] ; G. Bonnaud [France] ; O. Berretta [France] ; A.-L. Tarrerias [France] ; F. Vicari [France] ; M.-P. Pingannaud [France] ; P. Coulom [France] ; F. Kholer [France] ; A. Margulies [France] ; J.-M. Rouillon [France] ; P. Adenis-Lamarre [France] ; L. Schmets [France]	XXIXe congrès du CREGG 24–25 septembre 2010, Marne-la-Vallée
002F76 (2010)	Olivier Boissier ; Grégory Bonnet ; Catherine Tessier [France]	Introduction
003057 (2010)	Zainab Assaghir [France] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] ; Henri Prade [France]	Managing Information Fusion with Formal Concept Analysis
003078 (2010)	P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France]	Formal verification of secure group communication protocols modelled in UML
003094 (2010)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Decidability of Equivalence of Symbolic Derivations
003102 (2010)	Guillaume Bonfante [France] ; Florian Deloup [France]	Complexity Invariance of Real Interpretations
003133 (2010)	Zainab Assaghir [France] ; Mehdi Kaytoue [France] ; Henri Prade [France]	A Possibility Theory-Oriented Discussion of Conceptual Pattern Structures
003155 (2010)	Jean-Stéphane Ulmer [France] ; Jean-Pierre Belaud [France] ; Jean-Marc Le Lann [France]	Proposition d'une approche générique pour la formalisation et l'implémentation des processus
003156 (2010)	MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie]	Modélisation multidimensionnelle des versions de processus
003161 (2010)	Cécile Faure [France] ; Eric Andonoff [France] ; Chihab Hanachi [France] ; Christophe Sibertin-Blanc [France] ; Nicolas Salatge [France]	Flexibilité de processus de gestion de crise par intégration de protocoles d'interaction
003169 (2010)	Yannick Chevalier [France] ; Michael Rusinowitch [France]	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
003809 (2009)	Laurent Prévot [France] ; Laure Vieu [France] ; Nicholas Asher [France]	Une formalisation plus précise pour une annotation moins confuse: la relation d'Élaboration d'entité
003818 (2009)	M. Willems [France] ; D. Geneviève [France] ; G. Borck [France] ; C. Baumann [France] ; G. Baujat [France] ; E. Bieth [France] ; P. Edery [France] ; C. Farra [Liban] ; M. Gerard [France] ; D. Héron [France] ; B. Leheup [France] ; M. Le Merrer [France] ; S. Lyonnet [France] ; D. Martin-Coignard [France] ; M. Mathieu [France] ; C. Thauvin-Robinet [France] ; A. Verloes [France] ; L. Colleaux [France] ; A. Munnich [France] ; V. Cormier-Daire [France]	Molecular analysis of pericentrin gene (PCNT) in a series of 24 Seckel/microcephalic osteodysplastic primordial dwarfism type II (MOPD II) families
003B58 (2009)	Christian Belbeze [France] ; Max Chevalier [France] ; Chantal Soule-Dupuy [France]	Agrégats de mots-clés validés sémantiquement: Pour de nouveaux services d'accès à l'information sur internet
003B59 (2009)	Corinne Amel Zayani [France, Tunisie] ; Ikram Amous [Tunisie] ; André Peninou [France] ; Marie-Françoise Canut [France] ; Florence Sedes [France]	Adaptation visuelle de documents légataires
004225 (2008)	Lucile Fischer [France] ; Claude Didierjean [France] ; Franck Jolibois [France] ; Vincent Semeteypresent Address Laboratoire Physico-Chimie Curie Cnrs Umr Institut Curie Paris France. [France] ; Jose Manuel Lozano [Colombie] ; Jean-Paul Briand [France] ; Michel Marraud [France] ; Romuald Poteau [France] ; Gilles Guichard [France]	Propensity for local folding induced by the urea fragment in short-chain oligomers
004392 (2008)	Amel Toumi-Maouche [Algérie, France] ; Boubekeur Maouche [Algérie] ; Safia Taïri-Kellou [Algérie] ; Salima El-Aoufi [Algérie] ; Mercedes Martín-Martínez [Espagne] ; Rosario González-Mu Iz [Espagne] ; Daniel Fourmy [France] ; Bernard Maigret [France]	Exploring the binding pocket for pyridopyrimidine ligands at the CCK1 receptor by molecular docking

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Toulouse" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Toulouse" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Toulouse
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022