Topic
type: Class
label: Innholdsbeskrivende emne @nb

Humord
type: ConceptScheme

Artificial intelligence
type: Topic
type: Concept
narrower: Automatic deduction
preferred label: Kunstig intelligens @nn

Automatic deduction
type: Topic
type: Concept
ccmapper candidates: 14
ccmapper state: accepted
created: 1994-03-21T00:00:00
modified: 2024-01-29T08:40:40
alternative label: Automated reasoning
alternative label: Automated deduction
alternative label: Automatisk resonnering @nn
alternative label: Automatic reasoning
broader: Artificial intelligence
in scheme: Humord
mapping relation: e23
preferred label: Automatisk deduksjon @nn