Typed lambda calculi and applications
كتاب من تأليف: Groote, J. F. (1965-) ; Bezem, M. (1956-) ; International Conference on Typed Lambda Calculi and Applications (Utrecht, Netherlands ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
viii, 432 p.
;23 cm
ISBN: 0387565175
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Lambda-calcul
