Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
- 資料種別:
- 図書
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, c1994
- 形態:
- 383 p. ; 24 cm
- シリーズ名:
- Lecture notes in computer science ; 806 <BA00009279>
- 著者名:
- ISBN:
- 9783540580850 [3540580859] (: gw)
9780387580852 [0387580859] (: us) - 書誌ID:
- BA22707541
類似資料:
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg | |
North-Holland Pub., sole distributors for the U.S.A. and Canada Elsevier North-Holland | |