Norsk WebDewey
type: ConceptScheme

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

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