Terms containing theorem proving

Subject	English	Spanish
IT	mechanical theorem proving	deducción automática
IT	non-resolution theorem proving	deducción natural
IT	non-resolution theorem proving	demostración de teoremas "no por resolución"
IT	non-resolution theorem proving	razonamiento informal
IT	theorem proving	demostración de teoremas