skip to main content

data.ub.uio.no

Innholdsspråk

ANBEFALT TERM
Agda  
TYPE
  • Innholdsbeskrivende emne

DEFINISJON
  • Programmeringsspråk for funksjonsprogrammering
IDENTIFIKATOR
  • REAL031691
HØRER TIL INNDELING
PÅ ANDRE SPRÅK
Agda

engelsk

Agda

norsk nynorsk

URI
http://data.ub.uio.no/realfagstermer/c031691
Last ned dette begrepet:
RDF/XML TURTLE JSON-LD Opprettet 07.06.2016, sist endret 07.06.2016
OVERORDNEDE BEGREPER
NÆRLIGGENDE BEGREPER
Agda (ru)
www.wikidata.org