Terms containing theorem

Subject	English	Italian
life.sc.	circulation theorem of Bjerknes	teorema della circolazione di Bjerknes
IT	mechanical theorem proving	prova automatica di teoremi
IT	non-monotonic theorem prover	dimostratore di teoremi non-monotoni
IT	non-resolution theorem proving	deduzione naturale
earth.sc., mech.eng.	theorem of areas	legge delle aree
IT	theorem prover	dimostratore di teoremi
IT	theorem proving	dimostrazione di teoremi