Terms containing Deduktion

Subject	German	English
AI.	allgemeine Deduktion	commonsense deduction
AI.	automatische Deduktion	automatic deduction
AI.	Berechnung durch Deduktion	computation by deduction
IT, dat.proc.	Deduktion aus Informationen	information inference
AI.	Einer-Klausel-Deduktion	unit deduction
AI.	Input-Deduktion	input deduction
AI.	lineare Deduktion	linear deduction
IT	natürliche Deduktion	natural deduction
IT	natürliche Deduktion	non-resolution theorem proving
IT	natürliche Deduktion	informal reasoning
AI.	Set-of-Support-Deduktion	set-of-support deduction
AI.	Theorembeweisen durch natürliche Deduktion	nonresolution theorem proving
AI.	Theorembeweiser auf der Basis natürlicher Deduktion	nonresolution theorem prover