Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
автоматический доказатель теоремstresses
AI. automatic theorem prover (Microsoft Alex_Odeychuk); prover (корпорации AdaCore Alex_Odeychuk)
softw. automatic prover (adacore.com Alex_Odeychuk)
автоматический доказатель теорем: 4 phrases in 1 subject
Artificial intelligence4

Add | Report an error | Get short URL | Language Selection Tips