Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « construction »
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.
constructing < construction < constructions  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
000444 (2012) Hubert Garavel [France] ; Frédéric Lang [France] ; Radu Mateescu [France] ; Wendelin Serwe [France]CADP 2011: a toolbox for the construction and analysis of distributed processes
000F69 (2007) Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche]Sequence Disunification and Its Application in Collaborative Schema Construction
000F96 (2007) Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]On the Implementation of Construction Functions for Non-free Concrete Data Types
001236 (2006) Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
001400 (2006) Qing Wang [République populaire de Chine] ; Junchao Xiao [République populaire de Chine] ; Mingshu Li [République populaire de Chine] ; M. Wasif Nisar [République populaire de Chine] ; Rong Yuan [République populaire de Chine] ; Lei Zhang [République populaire de Chine]A Process-Agent Construction Method for Software Process Modeling in SoftPM
001553 (2005) Claire Gardent [France] ; Yannick Parmentier [France]Large Scale Semantic Construction for Tree Adjoining Grammars
001A73 (2003) D. Galmiche [France] ; J. M. Notin [France]Connection-Based Proof Construction in Non-commutative Logic
001C60 (2002) Dominique Larchey-Wendling [France]Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic
001E87 (2001) R. Hubo ; G. Garrigues ; F. Schröter ; J. FlahautHeavy plates for bridge construction
002589 (1998) M. Strecker ; M. Luther ; F. Von HenkeInteractive and Automated Proof Construction in Type Theory
002766 (1997) Nicole Lévy [France] ; Jeanine Souquières [France]Modelling specification construction by successive approximations
002C17 (1995) R. M. Amadio [France]A Quick Construction of a Retraction of All Retractions for Stable Bifinites
002C18 (1995) Gérard Sauce [France] ; Michel Mommessin [France]A Knowledge‐Based System for Construction‐Site Organization
002E80 (1993) Vladimir Sazonov [Russie] ; Andrei Voronkov [France]A construction of typed lambda models related to feasible computability
003011 (1992) Jean Claude Paul [France] ; Damien Gertsch [France] ; Laurent Pytel [France]Graffiti: A Computer‐Aided Construction Process Knowledge‐Based System
003045 (1992) Didier Galmiche [France] ; Guy Perrier [France]A procedure for automatic proof nets construction
003450 (1988) Jean-François DufourdConstruction of Interactive Programs in Computer Graphics
003814 (1983) Monique Rice [France]The construction of a complete minimal set of contextual normal forms
003830 (1983) Jean Pierre Jouannaud [France] ; Claude Kirchner [France] ; Helene Kirchner [France]Incremental construction of unification algorithms in equational theories
003A26 (1979) Claude Pair [France]Some theoretical aspects of program construction

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "construction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "construction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    construction
}}
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