Englisch ⇄ Chinesisch Deutsch Dänisch Finnisch Französisch Griechisch Italienisch Niederländisch Portugiesisch Schwedisch Spanisch +

mechanical theorem proving
IT	αυτόματο συμπέρασμα; μηχανική απόδειξη θεωρημάτων