Vortaro kun 230 mil tradukoj
Kajero

📜Legilo 📈Ekzercejo


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

en primitive recursion

Tradukoj

(?) primitive recursio

Prononco per kanaoj:
リミティーヴェ   レツスィー

Babilejo


Vi povas provi 📜Legilon: primitive recursion

Prononco per kanaoj:
リミティーヴェ   レツスィーオン

Kajero

Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統

De Sato kaj Cainiao

Funkciigata de SWI-Prolog

2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3; 2025-04-25 ver. 3.1