谓词逻辑的归结法
Иллюстрация написания слова
Просмотров:
Дата: 2026-11-14
Дата: 2026-11-14
🔤 Традиционное написание
謂詞邏輯的歸結法
🔤 Чтения слова
| кириллицей (Палладий) | вэй цы ло цзи дэ гуй цзие фа | |
| латиницей (пиньинь) | wèi cí luó jí de guī jié fǎ | Слова со звучанием weiciluojideguijiefa ↗️ |
🇷🇺 Русское значение
метод резолюции в предикатной логике
Автор: Импорт словаря
Комментарии
Комментариев пока нет