Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
German
⇄
English
French
Hungarian
Italian
Japanese
Russian
Spanish
Terms
for subject
Artificial intelligence
containing
Rösser
|
all forms
German
English
Church-
Rosser
-Theorem
Church-Rosser theorem
(Lambda-Kalkül)
Get short URL