Terms containing theorem-proving

Subject	English	German
AI.	automatic theorem proving	automatische Beweisfindung
AI.	automatic theorem proving	automatisches Theorembeweisen
AI.	content-dependent theorem proving	inhaltsabhängiges Theorembeweisen
AI.	geometry theorem-proving machine	Maschine zum Beweisen geometrischer Theoreme
AI.	goal-directed theorem proving	zielorientiertes Theorembeweisen
AI.	goal-directed theorem proving	zielgesteuertes Theorembeweisen
IT	mechanical theorem proving	mechanische Beweisführung
gen.	mechanical theorem-proving	automatische Beweistechnik
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
AI.	resolution theorem proving	Resolutionstheorembeweisen
IT	theorem proving	Theorembeweis
IT	theorem proving	Beweissuchverfahren
IT	theorem proving	Beweisverfahren
IT	theorem proving	Theorembeweiser
AI.	theorem proving	Theorembeweisen
tech.	theorem proving program	Beweisprogramme
AI.	theorem proving system	Beweisfindungssystem
AI.	theorem proving system	Theorembeweiser