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
🇧🇾 Беларуская
صفحه اصلی
Vampire theorem prover
Vampire theorem prover
automatic theorem prover
en-GB
/ˈvæmpaɪə ˈθɪəɹəm ˈpɹuːvə/
دسته بندی ها:
automated theorem proving
software