Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
доказатель теоремstresses
AI. theorem prover (Microsoft Alex_Odeychuk); prover (корпорации AdaCore Alex_Odeychuk)
доказатель теорем: 12 phrases in 3 subjects
Artificial intelligence10
Programming1
Software1

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