AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffRegion.i » - entrée « Iowa »
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.
Indiana < Iowa < Jilin  Facettes :

List of bibliographic references indexed by Iowa

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000441 (2015-07-18) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis]Model Finding for Recursive Functions in SMT
001701 (2013) Robin Strand [Suède] ; Krzysztof Chris Ciesielski [États-Unis] ; Filip Malmberg [Suède] ; Punam K. Saha [États-Unis]The minimum barrier distance
005522 (2006) Cesare Tinelli [États-Unis] ; Calogero G. Zarba [États-Unis]Combining Nonstably Infinite Theories
005627 (2006) Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
006C25 (2004) Cesare Tinelli [États-Unis] ; Calogero G. Zarba [France]Combining Decision Procedures for Sorted Theories
006C57 (2004) Franz Baader ; Silvio Ghilardi ; Cesare Tinelli [États-Unis]A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics
007B39 (2003) Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France]Unions of non-disjoint theories and combinations of satisfiability procedures
009348 (2001) Mary J. Berg [États-Unis] ; Don C. Vandyke [États-Unis] ; Cathy Chenard [États-Unis] ; Jennifer R. Niebyl [États-Unis] ; Sarapee Hirankarn [États-Unis] ; Adrianne Bendich [États-Unis] ; Phyllis Stumbo [États-Unis]Folate, Zinc, and Vitamin B-12 Intake During Pregnancy and Postpartum
009E75 (2000) Vicki Tolar Burton [États-Unis] ; Scott A. Chadwick [États-Unis]Investigating the practices of student researchers: patterns of use and criteria for use of internet and library sources
009F21 (2000) Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis]Combining Equational Theories Sharing Non-Collapse-Free Constructors
00BF33 (1996) Roger D. Maddux [États-Unis]Relation-algebraic semantics
00C767 (1995) Joan G. Fischer [États-Unis] ; Mary Ann Johnson [États-Unis] ; Leonard W. Poon [États-Unis] ; Peter Martin [États-Unis]Dairy Product Intake of The Oldest Old
00D652 (1992) Noel Cressie [États-Unis] ; Dale L. Zimmerman [États-Unis]On the stability of the geostatistical method
00DE61 (1990) Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis]A new method for proving termination of AC-rewrite systems
00EF00 (1979) Steven Y. Moon [États-Unis] ; Robert F. Woolson [États-Unis] ; Judy A. Bean [États-Unis]A computer program for survival comparisons to a standard population

List of associated Author.i

Nombre de
documents		Descripteur
7Cesare Tinelli
3Franz Baader
2Calogero G. Zarba
2Silvio Ghilardi
1Adrianne Bendich
1Andrew Reynolds
1Cathy Chenard
1Christophe Ringeissen
1Dale L. Zimmerman
1Deepak Kapur
1Don C. Vandyke
1Filip Malmberg
1G. Sivakumar
1Hantao Zhang
1Jasmin Christian Blanchette
1Jennifer R. Niebyl
1Joan G. Fischer
1Judy A. Bean
1Krzysztof Chris Ciesielski
1Leonard W. Poon
1Mary Ann Johnson
1Mary J. Berg
1Noel Cressie
1Peter Martin
1Phyllis Stumbo
1Punam K. Saha
1Robert F. Woolson
1Robin Strand
1Roger D. Maddux
1Sarapee Hirankarn
1Scott A. Chadwick
1Steven Y. Moon
1Vicki Tolar Burton

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/AffRegion.i -k "Iowa" 

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