عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.996
QA
76
.
L28
Vol
.
996
کتابخانه
محل استقرار
Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
1994: Bastad, Sweden
Berlin
Springer-Verlag
1995
202p.: ill
Lecture notes in computer science; 699
Selected papers presented at the 2nd annual workshop held under the auspicies of the ESPRIT
Includes bibliographies
ISBN: 3540605797
Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
1
Congresses ، Automatic theorem proving
QA
76
.
L28
Vol
.
996
AU
AU Dybjer, Peter
AU Nordstrom, Bengt
AU Smith, Jan M.
CO European Strategic Programme of Research and Development in Information Technology
TI
SE
TYPES
