Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Programsemantikk
Filosofi > Logikk > Symbolsk logikk > Programsemantikk

Anbefalt term

Programsemantikk  

Type

  • Innholdsbeskrivende emne

Overordnede begreper

Henvisningsterm

  • Programsemantikk

Identifikator

  • HUME64252

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

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