SłownikiForumKontakt

   Angielski +
Google | Forvo | +

automatic theorem prover

sztuczn. automatischer Theorembeweiser; automatisches Beweisverfahren