借閱次數: 0
|
Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
- 作者:edited by Luke Ong.
- 出版者:Springer-Verlag GmbH Berlin Heidelberg
- 出版地:Berlin, Heidelberg :
- 語文:英語
- 叢書名:Lecture notes in computer science,
- 電子資源:http://dx.doi.org/10.1007/978-3-642-21691-6
- ISBN/ISSN/ISRC:9783642216916 (electronic bk.) ; 9783642216909 (paper)
- 作者:Ong, Luke.
- 索書號:511.35
|