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

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

automatic theorem prover

шт.інтел. automatischer Theorembeweiser; automatisches Beweisverfahren

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