SłownikiForumKontakt

   Angielski +
Google | Forvo | +

mechanical theorem proving

technol. αυτόματο συμπέρασμα; μηχανική απόδειξη θεωρημάτων