liiglier < like < likelihood

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000008 (2006)	Nacer Boudjlida [France] ; Hervé Panetto [France]	Preface
000016 (2004)	Frédéric Blanqui [France]	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000051 (2010)	Andrew Sweeting [États-Unis]	The effects of mergers on product positioning: evidence from the music radio industry
000066 (2002)	Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]	Algebraic Dynamic Programming
000076 (2003)	Uwe Berner [Allemagne] ; Thomas Rieger [Allemagne]	A Scalable Avatar for Conversational User Interfaces
000096 (2010)	Jean-Charles Lamirel [France] ; Zied Boulila ; Maha Ghribi ; Pascal Cuxac	A New Incremental Growing Neural Gas Algorithm Based on Clusters Labeling Maximization: Application to Clustering of Heterogeneous Textual Data
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000163 (2005)	Améziane Ferguene [France] ; Hatem Trimeche [Tunisie, France]	Potentiel scientifique, externalités territoriales et développement des biotechnologies : analyse à partir du cas de Rhône-Alpes
000205 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
000221 (2003)	Maria Bonnafous-Boucher ; Stéphanie Chatelain-Ponroy ; Yves Evrard ; Frédéric Mazallon	Quel avenir pour les théâtres lyriques?
000225 (2013)	Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]	Closed-Loop Modeling of Cardiac Pacemaker and Heart
000249 (1999)	Mark Van Den Brand ; Didier Parigot	Preface
000272 (2000)	Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne]	Modular Redundancy for Theorem Proving
000304 (2005)	Claudio Castellanos Sánchez [France, Mexique] ; Bernard Girau [France]	Dynamic Pursuit with a Bio-inspired Neural Model
000347 (2009)	Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]	Combinable Extensions of Abelian Groups
000375 (1993)	Vassilis Prevelakis [Suisse] ; Dennis Tsichritzis [Suisse]	Perspectives on Software development Environments
000384 (2010)	Javier Álvez [Espagne] ; Francisco J. L Pez-Fraguas [Espagne]	A Complete Axiomatization of Strict Equality
000426 (2009)	Stéphane Le Roux	Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
000483 (1993)	Régis Curien [France]	Second order E-matching as a tool for automated theorem proving
000512 (1996)	O. Neumann [Allemagne] ; S. Sachweh [Allemagne] ; W. Sch Fer [Allemagne]	A high-level object-oriented specification language for configuration management and tool integration
000514 (2010)	Frédéric Tantini ; Alain Terlutte [France] ; Fabien Torre [France]	Sequences Classification by Least General Generalisations

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "like" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "like" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    like
}}

---

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