Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ +
Google | Forvo | +

nonresolution theorem proving

шт.інтел. Nichtresolutions-Theorembeweisen; Theorembeweisen durch natürliche Deduktion

Додати | Повідомити про помилку | Коротке посилання