ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Typed lambda calculi and applications
Arabic Title : | تطبيق Lambda Calculi والتطبيقات: المؤتمر الدولي الخامس، TLCA 2001، Kraków، بولندا، 2-5 مايو 2001: الإجراءات |
BNB number : | GBA128751 |
Date published : | 2001 |
Has extent : | xi, 429 p. |
Has note on contents : | Includes bibliographical references and index. |
ISBN : | 3540419608 |
ISBN10 : | 3540419608 |
Title : | Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings |
Contributor : | Abramsky Samson 1953- |
Subject : | Lambda calculus--Congresses 511.3 |
Has carrier type : | volume |
Has content type : | text |
Has media type : | unmediated |
Identifier : | http://bnb.data.bl.uk/id/resource/GBA128751 |
Language : | http://lexvo.org/id/iso639-3/eng |
Publication : | Berlin ; London : Springer, c2001 |
Url : | 007756799 |