Skip to main content
صفحه اصلی
متن به IPA
گفتار به IPA
IPA به واژه
خواننده IPA
Beta
نمودارهای IPA
انگلیسی بریتانیایی
انگلیسی آمریکایی
چینی ماندارین
نمودارهای IPA
A–Z
وبلاگ
toIPA
صفحه اصلی
متن به IPA
گفتار به IPA
IPA به واژه
خواننده IPA
Beta
نمودارهای IPA
کامل
انگلیسی بریتانیایی
انگلیسی آمریکایی
چینی ماندارین
نمودارهای IPA
A–Z
وبلاگ
🇮🇷 فارسی
🇺🇸 English
🇨🇳 中文
🇯🇵 日本語
🇩🇪 Deutsch
🇫🇷 Français
🇪🇸 Español
🇮🇳 हिन्दी
🇸🇦 العربية
🇧🇩 বাংলা
🇵🇹 Português
🇮🇩 Bahasa Indonesia
🇵🇰 اردو
🇷🇺 Русский
🇻🇳 Tiếng Việt
🇹🇷 Türkçe
🇰🇷 한국어
🇮🇹 Italiano
🇳🇴 Norsk bokmål
🇳🇱 Nederlands
🇵🇱 Polski
🇸🇪 Svenska
🇬🇷 Ελληνικά
🇮🇱 עברית
🇮🇷 فارسی
🇹🇭 ไทย
🇺🇦 Українська
🇨🇿 Čeština
🇧🇾 Беларуская
صفحه اصلی
Program derivation
Program derivation
en-US
/ˈpɹoʊɡˌɹæm ˌdɛɹəˈveɪʃən/
en-GB
/ˈpɹəʊɡɹæm ˌdɛɹɪˈveɪʃən/
دسته بندی ها:
formal proof