SłownikiForumKontakt

   Niemiecki Angielski +
Google | Forvo | +

Church-Rosser-Theorem

n
sztuczn. Church-Rosser theorem (Lambda-Kalkül)