Lambda-kalkulo: Malsamoj inter versioj

808 bitokojn forigis ,  antaŭ 7 jaroj
e
Roboto: Forigo de 30 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q242028)
e (r2.7.1) (robota modifo de: fi:Lambdakalkyyli)
e (Roboto: Forigo de 30 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q242028))
 
[[Kategorio:Lambda-kalkulo|*]]
 
[[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]]
[[fi:Lambdakalkyyli]]
[[fr:Lambda-calcul]]
[[he:תחשיב למדא]]
[[hr:Lambda račun]]
[[hu:Lambda-kalkulus]]
[[is:Lambda-reikningur]]
[[it:Lambda calcolo]]
[[ja:ラムダ計算]]
[[ko:람다 대수]]
[[nl:Lambdacalculus]]
[[pl:Rachunek lambda]]
[[pt:Cálculo lambda]]
[[ru:Лямбда-исчисление]]
[[sh:Lambda račun]]
[[simple:Lambda calculus]]
[[sk:Lambda kalkul]]
[[sv:Lambdakalkyl]]
[[ta:லாம்டா நுண்கணிதம்]]
[[uk:Лямбда-числення]]
[[vi:Phép tính lambda]]
[[zh:Λ演算]]
193 405

redaktoj