theorem proving – phrases

Terms containing theorem proving | all forms | in specified order only

Subject	English	Italian
IT	mechanical theorem proving	prova automatica di teoremi
IT	non-resolution theorem proving	deduzione naturale
IT	theorem proving	dimostrazione di teoremi