Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
программа для доказательства теоремstresses
el. prover (с использованием аксиоматической базы данных); theorem prover (с использованием аксиоматической базы данных)
программа для доказательства теорем: 1 phrase in 1 subject
Makarov1

 The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error | Get short URL | Language Selection Tips