Centre de Recherche en Automatique de Nancy < Centre de Recherche en Informatique de Nancy < Centre de Recherche en Informatique de Paris 1

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000009 (1995)	Paul Zimmermann	Wester's test suite in MuPAD 1.2.2
000010 (1996)	Paul Zimmermann	Wester's test suite in MuPAD 1.3
000092 (1994)	Philippe Flajolet ; Paul Zimmermann ; Bernard Van Cutsem	A Calculus for the Random Generation of Labelled Combinatorial Structures
000094 (1993)	Philippe Flajolet ; Paul Zimmermann ; Bernard Van Cutsem	A Calculus of Random Generation
000594 (1989)	Laurent Romary ; Jean-Marie Pierrel	A cognitive model for the representation of time in a man-machine dialogue.
000830 (1992)	Didier Galmiche ; Guy Perrier	A procedure for automatic proof nets construction
000929 (1996)	Frank Postel ; Paul Zimmermann	A review of the ODE solvers of Axiom, Derive, Maple, Mathematica, Macsyma, MuPAD and Reduce
001420 (1992-09-04)	Bertrand Gaiffe ; Laurent Romary	Ce matin, il pleuvait (It was raining this morning) - A Time Proof Reference
001D17 (1996-08-13)	Bertrand Gaiffe ; Laurent Romary	Do we co-refer to the same object?
002424 (1994)	Didier Galmiche ; Guy Perrier	Foundations of Proof Search Strategies Design in Linear Logic
002466 (1995-01-25)	Guy Perrier	From Proof Construction to Concurrent Programming in Linear Logic
002512 (1995)	P. Zimmermann	Function Composition and Automatic Average Case Analysis
002554 (1994)	Paul Zimmermann	Gaïa: a package for the random generation of combinatorial structures
002587 (1997-09-24)	Francois Bertault	Generation and drawing of decomposable structures
002628 (1996)	Nadia Bellalem ; Laurent Romary ; Frédéric Wolff	Gestural Prosody in Man-Machine Task-Oriented Dialogues
002630 (1994)	B. Salvy ; P. Zimmermann	Gfun: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
002680 (1995)	Klaus Drescher ; Paul Zimmermann	Gröbner bases in MuPAD: state and future
002B70 (1991-04-22)	Laurent Romary	Integration of Spatial and Temporal Information Produced by a Natural Language discourse
003054 (1996)	Jean-Marie Pierrel ; Laurent Romary	Man-Machine Dialogues and Language
003457 (1993)	Laurent Romary ; Bertrand Gaiffe ; Jean-Marie Pierrel	Multimodality: why and how?
003579 (1995)	P. Zimmermann	New features in MuPAD 1.2.2

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Centre de Recherche en Informatique de Nancy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Centre de Recherche en Informatique de Nancy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Centre de Recherche en Informatique de Nancy
}}

---

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