SłownikiForumKontakt

   Angielski +
Google | Forvo | +

automatic theorem proving

akcenty
progr. автоматическое доказательство теорем (ssn)