Terms for subject Information technology containing theorem

English	Swedish
mechanical theorem proving	automatisk teorembevisning
non-resolution theorem proving	naturlig deduktion
Nyquist theorem	samplingsteoremet
Nyquist theorem	Nyquistteoremet
perceptron convergence theorem	perceptronens konvergenssats
theorem prover	teorembevisare
theorem proving	teorembevisning