Hopp til hovudinnhaldet

Norsk WebDewey

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

... > Naturvitenskap > Matematikk > Generelle matematiske prinsipper > Matematisk logikk (symbolsk logikk) > Bevisteori og konstruktiv matematikk > Automatisk teorembevis

Tilrådd term

511.36028563Automatisk teorembevis  

Overordna omgrep

Identifikator

  • ocd00145483

URI

http://dewey.info/class/511.36028563/e23/

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 04.02.2010, sist endra 11.08.2020