Norsk WebDewey
type: ConceptScheme

Automatisk teorembevis
type: Concept
created: 2010-02-04
modified: 2026-04-30
component list: Bevisteori og konstruktiv matematikk
component list: e23
broader: Bevisteori og konstruktiv matematikk
in scheme: Norsk WebDewey
notation: 511.36028563

Bevisteori og konstruktiv matematikk
type: Concept
narrower: Automatisk teorembevis
notation: 511.36