Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Programsemantikk
Filosofi (nb) > Logikk > Symbolsk logikk > Programsemantikk

Anbefalt term

Programsemantikk  

Type

  • Innholdsbeskrivende emne

Overordnede begreper

Identifikator

  • HUME64252

På andre språk

URI

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

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 11.03.2024, sist endret 11.03.2024