Terms containing theorem prover

Subject	English	German
AI.	automatic theorem prover	automatisches Beweisverfahren
AI.	automatic theorem prover	automatischer Theorembeweiser
AI.	Boyer-Moore theorem prover	Theorembeweiser von Boyer und Moore
AI.	Geometry Theorem Prover	Geometrischer Theorembeweiser
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.	resolution theorem prover	Resolutionstheorembeweiser
AI.	resolution-based theorem prover	nach dem Resolutionsprinzip arbeitender automatischer Beweiser
AI.	resolution-based theorem prover	Resolutionstheorembeweiser
IT	theorem prover	Theorembeweise
IT	theorem prover	Beweisfindungsverfahren
AI.	theorem prover	Theorembeweiser