Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Teeft.i » - entrée « Heidelberg »
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.
Heide < Heidelberg < Heidelberg germany doctor  Facettes :

List of bibliographic references indexed by Heidelberg

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
001528 (2013) ORAL PRESENTATIONS
001546 (2013) Sergei O. Kuznetsov [Russie] ; Jonas Poelmans [Russie, Belgique]Knowledge representation and processing with formal concept analysis
003902 (2009) Register
003907 (2009) REVIEWS
004353 (2008) Monday 21st July 2008
004361 (2008) List of Reviewers
00B403 (1998) A. Werner [Allemagne]A Semantic Approach to Order-sorted Rewriting
00C619 (1995) Program the Annual Meeting of the American Gastroenterological Association and Digestive Disease Week
00C780 (1995) Michaël Rusinowitch [France] ; Laurent Vigneron [France]Automated deduction with associative-commutative operators
00D176 (1993) Eddy Bevers [Belgique] ; Johan Lewi [Belgique]Proving termination of (conditional) rewrite systems
00D184 (1993) Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]OBSCURE a specification language for abstract data types
00D208 (1993) Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France]Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
00D209 (1993) Alexander Bockmayr [Allemagne]Conditional narrowing modulo a set of equations
00D235 (1993) 5th INTERNATIONAL CONFERENCE ON Human LEUKOCYTE DIFFERENTIATION ANTIGENS
00D657 (1992) Maribel Fernández [France]Narrowing based procedures for equational disunification
00D683 (1992) Joost Engelfriet [Pays-Bas] ; Linda Heyker [Pays-Bas]Context-free hypergraph grammars have the same term-generating power as attribute grammars
00DA67 (1991) Judith Brown [États-Unis]Images for insight: From the research lab to the classroom
00ED04 (1983) Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne]On hierarchies of abstract data types
00F009 (1973) The power of the state and the dignity of the academic calling in imperial Germany
00F111 (1961) Reviews

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/Teeft.i -k "Heidelberg" 

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