AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffOrg.i » - entrée « Université Toulouse III - Paul Sabatier »
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.
Université Toulouse II-Le Mirail < Université Toulouse III - Paul Sabatier < Université autonome de Barcelone  Facettes :

List of bibliographic references indexed by Université Toulouse III - Paul Sabatier

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
001430 (2013) Bernard Dousset [France]Introduction
001617 (2013) Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche]Compression of Propositional Resolution Proofs by Lowering Subproofs
001D76 (2012) B. Vallé [France] ; E. Dehours [France] ; J. Mallet [France] ; M. Belhadj [France] ; R. Aniba [France] ; H. Juchet [France] ; V. Bounes [France] ; J. L. Ducassé [France] ; D. Lauque [France]Analyse et impact des revues de morbimortalité (RMM) au sein d’un pôle de médecine d’urgence
002619 (2011) Audrey Moui [France] ; Thierry Desprats [France]Towards Self-Adaptive Monitoring Framework for Integrated Management
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
003169 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
004460 (2008) Yannick Chevalier [France] ; Michael Rusinowitch [France]Hierarchical combination of intruder theories
004B61 (2007) Nathalie Iché-Tarrat [France] ; Manuel Ruiz-Lopez [France] ; Jean-Claude Barthelat [France] ; Alain Vigroux [France]Theoretical Evaluation of the Substrate‐Assisted Catalysis Mechanism for the Hydrolysis of Phosphate Monoester Dianions
008870 (2002) Laurent Prevot [France] ; Philippe Muller [France] ; Pascal Denis [France] ; Laure Vieu [France]Une approche sémantique et rhétorique du dialogue. Un cas d'étude : l'explication d'un itinéraire
008888 (2002) Nicolas Maudet [France]A la recherche de la structure intentionnelle dans le dialogue
00D114 (1993) Jean-Marc Thébault [France] ; Marie-José Salençon [France]Simulation model of a mesotrophic reservoir (Lac de Pareloup, France): biological model
00EC97 (1983) Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne]Technology
00ED65 (1982) Perennou Guy [France]The Arial II Speech Recognition System

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/AffOrg.i -k "Université Toulouse III - Paul Sabatier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université Toulouse III - Paul Sabatier" \
         | 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=    AffOrg.i
   |clé=    Université Toulouse III - Paul Sabatier
}}
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