Khác biệt giữa các bản “Phép tính lambda”

n
Bot: Di chuyển 30 liên kết ngôn ngữ đến Wikidata tại d:q242028 Addbot
n (Robot: Sửa đổi hướng)
n (Bot: Di chuyển 30 liên kết ngôn ngữ đến Wikidata tại d:q242028 Addbot)
[[Thể loại:Khoa học máy tính]]
[[Thể loại:Phương pháp hình thức]]
 
[[ar:حسابات اللامدا]]
[[bn:ল্যাম্‌ডা ক্যালকুলাস]]
[[bs:Lambda račun]]
[[ca:Càlcul lambda]]
[[cs:Lambda kalkul]]
[[de:Lambda-Kalkül]]
[[el:Λογισμός λάμδα]]
[[en:Lambda calculus]]
[[es:Cálculo lambda]]
[[eo:Lambda-kalkulo]]
[[fr:Lambda-calcul]]
[[ko:람다 대수]]
[[hr:Lambda račun]]
[[is:Lambda-reikningur]]
[[it:Lambda calcolo]]
[[he:תחשיב למדא]]
[[hu:Lambda-kalkulus]]
[[nl:Lambdacalculus]]
[[ja:ラムダ計算]]
[[pl:Rachunek lambda]]
[[pt:Cálculo lambda]]
[[ru:Лямбда-исчисление]]
[[simple:Lambda calculus]]
[[sk:Lambda kalkul]]
[[sh:Lambda račun]]
[[fi:Lambdakalkyyli]]
[[sv:Lambdakalkyl]]
[[ta:லாம்டா நுண்கணிதம்]]
[[uk:Лямбда-числення]]
[[zh:Λ演算]]
594.418

lần sửa đổi