Terms containing theorem

Subject	English	German
AI.	automatic theorem prover	automatisches Beweisverfahren
AI.	automatic theorem prover	automatischer Theorembeweiser
AI.	automatic theorem proving	automatische Beweisfindung
AI.	automatic theorem proving	automatisches Theorembeweisen
AI.	Boyer-Moore theorem prover	Theorembeweiser von Boyer und Moore
life.sc.	circulation theorem of Bjerknes	Bjerknes-Zirkulationssatz
AI.	content-dependent theorem proving	inhaltsabhängiges Theorembeweisen
phys.	ergodic theorem in the mean	statistischer Ergodensatz
phys.	ergodic theorem in the mean	Ergodensatz im Mittel
phys.	first theorem of the mean	erster Mittelwertsatz (der Integralrechnung, for integrals)
tech.	fundamental theorem of algebra	Fundamentalsatz der Algebra
gen.	fundamental theorem of arithmetic	Fundamentalsatz der Arithmetik
automat.	fundamental theorem of information transmission	Fundamentaltheorem der Informationsübertragung
tech.	fundamental theorem of information transmission	Fundamentaltheorem der Informationsuebertragung
AI.	Geometry Theorem Prover	Geometrischer Theorembeweiser
AI.	geometry theorem-proving machine	Maschine zum Beweisen geometrischer Theoreme
AI.	goal-directed theorem proving	zielorientiertes Theorembeweisen
AI.	goal-directed theorem proving	zielgesteuertes Theorembeweisen
AI.	Hussain's theorem of uncertainty	Hussainsches Unsicherheitstheorem
tech.	main theorem of the theory of games	Hauptsatz der Theorie der Matrixspiele
IT	mechanical theorem proving	mechanische Beweisführung
gen.	mechanical theorem-proving	automatische Beweistechnik
gen.	non monotonic theorem-provers	nicht-monotone Beweisprogramme
IT	non-monotonic theorem prover	nichtmonotones Beweisprogramm
AI.	nonresolution theorem prover	Nichtresolutions-Theorembeweiser
AI.	nonresolution theorem prover	Theorembeweiser auf der Basis natürlicher Deduktion
AI.	nonresolution theorem proving	Theorembeweisen durch natürliche Deduktion
IT	non-resolution theorem proving	natürliche Deduktion
IT	non-resolution theorem proving	natürliches Schließen
AI.	nonresolution theorem proving	Nichtresolutions-Theorembeweisen
phys.	Prigogine theorem of minimum entropy production	Prinzip der minimalen Entropieproduktion
phys.	Prigogine's theorem of minimum entropy production	Prinzip der minimalen Entropieproduktion
opt.	proof of the theorem of Malus	Beweis des Malusschen Satzes
AI.	resolution theorem prover	Resolutionstheorembeweiser
AI.	resolution theorem proving	Resolutionstheorembeweisen
AI.	resolution-based theorem prover	nach dem Resolutionsprinzip arbeitender automatischer Beweiser
AI.	resolution-based theorem prover	Resolutionstheorembeweiser
AI.	theorem list	Theoremliste
earth.sc., mech.eng.	theorem of areas	Flaechensatz
phys.	theorem of conformal states	Prinzip der korrespondierenden Zustände
phys.	theorem of conformal states	Gesetz der korrespondierenden Zustände
tech.	theorem of conservation of momentum	Impulssatz
tech.	theorem of conversation of momentum	Impulserhaltungssatz
phys.	theorem of corresponding states	Prinzip der korrespondierenden Zustände
phys.	theorem of corresponding states	Gesetz der korrespondierenden Zustände
tech.	theorem of Feinstein	Feinstein'scher Satz
tech.	theorem of impulse	Impulssatz
phys.	theorem of least work	Minimalprinzip für die Spannungen
opt.	theorem of Malus	Malusscher Satz
opt.	theorem of Malus	Satz von Malus
tech.	theorem of McMillan	McMillan'scher Satz
econ.	theorem of the mean	Mittelwertsatz
tech.	theorem of momentum	Impulssatz
gen.	Theorem of Pythagoras	Satz des Pythagoras
phys.	theorem of residues	Residuensatz
tech.	theorem of the conservation of momentum	Impulserhaltungssatz
phys.	theorem of three moments	Clapeyronscher Dreimomentensatz
phys.	theorem of three moments	Dreimomentengleichung
construct.	theorem of three moments	Dreimomentengleichung (Statik)
econ.	theorem of total probability	Satz von der totalen Wahrscheinlichkeit
IT	theorem prover	Beweisfindungsverfahren
IT	theorem prover	Theorembeweise
AI.	theorem prover	Theorembeweiser
IT	theorem proving	Theorembeweiser
IT	theorem proving	Theorembeweis
IT	theorem proving	Beweissuchverfahren
IT	theorem proving	Beweisverfahren
AI.	theorem proving	Theorembeweisen
tech.	theorem proving program	Beweisprogramme
AI.	theorem proving system	Beweisfindungssystem
AI.	theorem proving system	Theorembeweiser