theorem proving – phrases

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

Subject	English	Swedish
IT	mechanical theorem proving	automatisk teorembevisning
IT	non-resolution theorem proving	naturlig deduktion
IT	theorem proving	teorembevisning