عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1512
QA
76
.
L28
Vol
.
1512
کتابخانه
محل استقرار
Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
1996: Aussois, France
Berlin
Springer-Verlag
c1998
viii, ]373[ p
Lecture notes in computer science; 2151
Fourth workshop was organized under the auspices of the Esprit Working Group 21900 TYPES
Includes bibliographies
ISBN 3540651373
Eduardo Gimenez, Christine Paulin-Mohring )eds.(
1
Congresses ، Computer logic
Congresses ، Type theory
QA
76
.
L28
Vol
.
1512
AU
AU Gimenez, Eduardo, 1967-
AU Paulin-Mohring, Christine, 1962-
CO European Strategic Programme of Research and Development in Information Technology
TI
SE
TYPES
