AffVille.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffVille.i » - entrée « Villers lès Nancy »
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.
Villers les Nancy < Villers lès Nancy < Villers- lès-Nancy  Facettes :

List of bibliographic references indexed by Villers lès Nancy

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
002661 (2011) Paul Bédaride [France] ; Claire Gardent [France]Non Compositional Semantics Using Rewriting
003039 (2010) Susanne Albers [Allemagne] ; Jean-Yves Marion [France]Preface: Special Issue on Theoretical Aspects of Computer Science (STACS)
005601 (2006) Olivier Bournez [France]How much can analog and hybrid systems be proved (super-)Turing
006206 (2005) Olivier Bournez [France] ; Florent Garnier [France]Proving Positive Almost-Sure Termination
006C23 (2004) Murat Deviren [France] ; Khalid Daoudi [France]Continuous Speech Recognition Using Dynamic Bayesian Networks: A Fast Decoding Algorithm
006C37 (2004) Carlos Areces [France] ; Raffaella Bernardi [Pays-Bas]Analyzing the Core of Categorial Grammar
006C43 (2004) Olivier Bournez [France] ; Emmanuel Hainry [France]An Analog Characterization of Elementarily Computable Functions over the Real Numbers
007999 (2003) Olivier Bournez [France] ; Mathieu Hoyrup [France]Rewriting Logic and Probabilities
00AA08 (1999) M. Cosnard [France]Dynamic Properties of an Automaton with Memory
00BC22 (1997) Sophie Malecki [France]Proofs in system F ω can be done in system F ω1
00BC88 (1997) Denis Bechet [France] ; Philippe De Groote [France] ; Christian Retoré [France]A complete axiomatisation for the inclusion of series-parallel partial orders
00C793 (1995) Philippe De Groote [France]A simple calculus of exception handling

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 "Villers lès Nancy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Villers lès Nancy" \
         | 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é=    Villers lès Nancy
}}
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