Hopp til hovudinnhaldet

Søk i ordtilfang

Innhaldsspråk

Informasjon om omgrepet

Realfag > Matematikk > Symbolsk logikk > Formell spesifikasjon
Filosofi (nb) > Logikk > Symbolsk logikk > Formell spesifikasjon

Tilrådd term

Formell spesifikasjon  

Type

  • Innholdsbeskrivende emne

Overordna omgrep

Identifikator

  • HUME62769

På andre språk

URI

http://data.ub.uio.no/humord/c62769

Last ned dette omgrepet:

RDF/XML TURTLE JSON-LD Oppretta 07.02.2024, sist endra 07.02.2024