ispw < issue < issued

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 issue

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

Ident.	Authors (with country if any)	Title
005726 (2006)	Nicolas Navet [France]	Special issue of Journal of Embedded Computing: best papers of RTS'2005
005768 (2006)	Nicolas Navet [France]	Guest Editorial - Special issue: Best papers of RTS'2005
006044 (2005)	Jean Christophe Sarrazin ; Arnaud Tonnelier ; Frédéric Alexandre	A model of contextual effect on reproduced extents in recall tasks : The issue of the imputed motion hypothesis
006313 (2005)	Jean-Christophe Sarrazin [France] ; Arnaud Tonnelier [France] ; Frederic Alexandre [France]	A model of contextual effect on reproduced extents in recall tasks: the issue of the imputed motion hypothesis
006469 (2005)	Norbert Müller ; Martin Escardo [Royaume-Uni] ; Paul Zimmermann [France]	Special issue on practical development of exact real number computation
006959 (2004)	Deepak Kapur ; Laurent Vigneron	Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
006E87 (2004)	Deepak Kapur ; Laurent Vigneron [France]	Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
006F92 (2004)	Olivier Festor [France] ; Aiko Pras ; Jürgen Schönw Lder	IEEE Communications Magazine - Special issue on XML-Based Management of Networks and Services
007987 (2003)	Larry Spitz ; Karl Tombre	Special issue – selected papers from the ICDAR'01 conference
008F76 (2001)	Carlos Areces ; Patrick Blackburn	Journal of Logic and Computation. Special Issue on Hybrid Logic
009259 (2001)		This journal issue contains abstracts that have been accepted for presentation as the 8th Annual Conference of the International Society for Quality of Life Research (ISOQOL)
009631 (2001)	Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France]	Journal of Logic and Computation. Special Issue on Hybrid Logic
009C43 (2000)	Didier Galmiche ; David Pym	Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages
009F78 (2000)		Special issue on graphics recognition
00A122 (2000)	Didier Galmiche [France] ; David Pym	Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages
00A483 (1999)	Didier Galmiche ; David Pym	Special Issue on Proof-Search in Type-Theoretic Languages
00A688 (1999)	Didier Galmiche ; Jean-Paul Bahsoun ; José Luiz Fiadeiro	Special Issue on Proof Theory of Concurrent Object-Oriented Programming
00AC27 (1999)	Didier Galmiche [France] ; Jean-Paul Bahsoun ; José Luiz Fiadeiro	Special Issue on Proof Theory of Concurrent Object-Oriented Programming
00AF15 (1998)	Didier Galmiche ; David Pym	Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages
00B577 (1998)	Didier Galmiche [France] ; David Pym	Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages
00CB59 (1994)	J.-L. Rémy ; M. Rusinowitch	Special Issue on Conditional Term Rewriting Systems

---

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/Title.i -k "issue" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "issue" \
         | 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=    Title.i
   |clé=    issue
}}

---

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