Skip to main content
Dom
Wyślij SMS na adres IPA
Mowa do IPA
IPA na słowo
Czytnik IPA
Beta
Wykresy IPA
Brytyjski angielski
Amerykański angielski
chiński mandaryński
Wykresy IPA
A–Z
Bloga
toIPA
Dom
Wyślij SMS na adres IPA
Mowa do IPA
IPA na słowo
Czytnik IPA
Beta
Wykresy IPA
Pełny
Brytyjski angielski
Amerykański angielski
chiński mandaryński
Wykresy IPA
A–Z
Bloga
🇵🇱 Polski
🇺🇸 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
🇧🇾 Беларуская
Dom
Unit propagation
Unit propagation
procedure of automated theorem proving
en-GB
/ˈjuːnɪt ˌpɹɒpəˈɡeɪʃən/
en-US
/ˈjunət ˌpɹɑpəˈɡeɪʃən/
Kategorie:
resolution