Innholdsbeskrivende emne
Topic
Humord
Automated reasoning
Automated deduction
Automatisk resonnering
Automatic reasoning
Automatic deduction
Automatisk deduksjon
Kunstig intelligens
Artificial intelligence