Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffRegion.i » - entrée « Midi-Pyrénées »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Michigan < Midi-Pyrénées < Midlands de l'Ouest  Facettes :

List of bibliographic references indexed by Midi-Pyrénées

Number of relevant bibliographic references: 89.
[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
003153 (2010) Sébastien Truptil [France] ; Frédérick Benaben [France] ; Hervé Pingaud [France]Une architecture de système d'information collaboratif pour la gestion de crise: Approche basée sur la médiation des systèmes
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
004220 (2008) Marie-Odile Berger [France] ; René Anxionnat ; Erwan Kerrien ; Luc Picard ; Michael SödermanA methodology for validating a 3D imaging modality for brain AVM delineation: application to 3DRA.

List of associated Author.i

Nombre de
documents
Descripteur
4François Schwarzentruber
3Christophe Misse
3Eric Andonoff
3Laetitia Gambotti
3Marie-Françoise Canut
3Olivier Gasquet
3Vincent Diebolt
3Yannick Chevalier
2A. Blasco
2Alain Francillon
2Alexandra Felin
2Annabelle Sailly
2Antoine Pariente
2Catherine Cornu
2Chihab Hanachi
2Christian Funck-Brentano
2Christine Binquet
2Claire Thalamas
2Céline Vigouroux
2Dieudonné Tchuente
2Dominic Cellier
2Emiliano Lorini
2F. Bonnel
2François Alla
2François Lemaire
2Hakima Hannachi
2Henri Prade
2Jean-Paul Demarez
2Josiane Mothe
2Laure Vieu
2Lotfi Bouzguenda
2Ludovic Me
2Marina Nguon
2Martin Strecker
2Max Chevalier
2Mehdi Kaytoue
2Michael Rusinowitch
2Michel Lièvre
2Michel Rosenheim
2Myriam Rosilio
2Nadine Weisslinger-Darmon
2Olivier Chassany
2Philippe Barthélémy
2Philippe Lechat
2Robert Valette
2Sophie Brisset
2Yves Deswarte
2Zainab Assaghir
1A-L Debard
1A. Alavi
1A. Bertrand
1A. Calazel-Benque
1A. Cazelas
1A. Eleftérion
1A. Gaucher
1A. Gerbaulet
1A. Gilbert
1A. Goupil
1A. Hameurlain
1A. I. Mouaddib
1A. J. Malcolm
1A. Lortat-Jacob
1A. Margulies
1A. Munnich
1A. Petri-Cal
1A. Plonquet
1A. R. Penix
1A. Schoutens
1A. Schreiber
1A. Trias
1A. Verloes
1A. Verschaeren
1A.-L. Tarrerias
1Abdourahmane Diallo
1Alain Dutech
1Alain Furber
1Alain Vigroux
1Alassane Cissé
1Albert Tuambilangana
1Alexander Wynands
1Alexandre Coutant
1Amedeo Napoli
1Amel Toumi-Maouche
1Anas Abou El Kalam
1Andrea A. Disessa
1Andreas Herzig
1Andrei Doncescu
1Andrew R. Molnar
1André Peninou
1André Péninou
1Anthony Dessiatnikoff
1Arlet
1Audrey Moui
1B. A. Rahn
1B. Castelain
1B. Fontan
1B. Frisch
1B. Giraud
1B. Hassel
1B. Kieffer

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/AffRegion.i -k "Midi-Pyrénées" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Midi-Pyrénées" \
         | 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=    AffRegion.i
   |clé=    Midi-Pyrénées
}}

Wicri

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