Полный англо-русский словарь

automatic theorem prover

Программа (для) автоматического доказательства теорем



ScanWordBase.ru — ответы на сканворды
в Одноклассниках, Мой мир, ВКонтакте