Terms for subject Artificial intelligence containing Deduktion

German	English
allgemeine Deduktion	commonsense deduction
automatische Deduktion	automatic deduction
Berechnung durch Deduktion	computation by deduction
Einer-Klausel-Deduktion	unit deduction
Input-Deduktion	input deduction
lineare Deduktion	linear deduction
Set-of-Support-Deduktion	set-of-support deduction
Theorembeweisen durch natürliche Deduktion	nonresolution theorem proving
Theorembeweiser auf der Basis natürlicher Deduktion	nonresolution theorem prover