proves < provide < provided

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000038 (1996)	Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark]	Combining algebraic and set-theoretic specifications
000055 (2005)	Christophe Chipot [France] ; Xavier Rozanska [France, Allemagne] ; Surjit B. Dixit [France, États-Unis]	Can free energy calculations be fast and accurate at the same time? Binding of low-affinity, non-peptide inhibitors to the SH2 domain of the src protein
000057 (2001)	Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000074 (2005)	Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]	Ordered Resolution with Selection for $\mathcal{H}(@)$
000081 (1997)	P. Laure [France]	Que pensent les athlètes de haut niveau des tests visant à évaluer leurs performances ?
000129 (2005)	Djamé Seddah [France] ; Bertrand Gaiffe [France]	How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic
000131 (2001)	Michael Rusinowitch [France]	Rewriting for Deduction and Verification
000132 (1994)	Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]	Compilation of functional languages using flow graph analysis
000155 (1981)	Bruce Nock [États-Unis] ; Jeffrey D. Blaustein [États-Unis] ; Harvey H. Feder [États-Unis]	Changes in noradrenergic transmission alter the concentration of cytoplasmic progestin receptors in hypothalamus
000166 (2008)	Virgil Percec [États-Unis] ; Mihai Peterca [États-Unis] ; Michael Yurchenko ; Jonathan Rudick ; Paul Heiney [États-Unis]	Thixotropic Twin‐Dendritic Organogelators
000177 (2005)	P. Labéguerie [France] ; F. Pascale [France] ; M. Mérawa [France] ; C. Zicovich-Wilson [Mexique] ; N. Makhouki [France] ; R. Dovesi [Italie]	Phonon vibrational frequencies and elastic propertiesof solid SrFCl. An ab initio study
000206 (1987)	D. E. Rydeheard [Royaume-Uni] ; J. G. Stell [Royaume-Uni]	Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
000222 (1999)	H. Naja [France]	Multiview databases for building modelling
000259 (2002)	Yingxu Wang [Canada] ; Antony Bryant [Royaume-Uni]	Process-Based Software Engineering: Building the Infrastructures
000261 (2010)	Jean Villerd [France] ; Yannick Toussaint [France] ; Agnès Lillo-Le Louët [France]	Adverse Drug Reaction Mining in Pharmacovigilance Data Using Formal Concept Analysis
000263 (1997)	Miki Hermann [France] ; Roman Galbav [France]	Unification of infinite sets of terms schematized by primal grammars
000308 (2005)	Elise Gabarra [France] ; Antoine Tabbone [France]	Combining Global and Local Threshold to Binarize Document of Images
000325 (2010)	Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]	Tool Support for Dynamic Development Processes
000348 (1995)	Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Sort inheritance for order-sorted equational presentations
000374 (2001)		Position of the American Dietetic Association
000375 (1993)	Vassilis Prevelakis [Suisse] ; Dennis Tsichritzis [Suisse]	Perspectives on Software development Environments

---

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 "provide" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "provide" \
         | 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é=    provide
}}

---

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