Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

ANBEFALT TERM

511.36028563Automatisk teorembevis  

IDENTIFIKATOR

  • ocd00145483

URI

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

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 04.02.2010, sist endret 11.08.2020