Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.1) (Robot: Přidávám fi:Lambda-kalkyyli |
m r2.7.1) (Robot: Upravuji fi:Lambdakalkyyli |
||
Řádek 116:
[[eo:Lambda-kalkulo]]
[[es:Cálculo lambda]]
[[fi:
[[fr:Lambda-calcul]]
[[he:תחשיב למדא]]
|